Searching for "Engineering Complex Computer Systems." – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Designing Distributed Component-Based Systems With DCL
- … at the 7 th IEEE Conference on Engineering of Complex Computer Systems, Sweden, June 2001 1. Introduction…
- Add To MetaCart
-
Investigations in Grounded Semantics for Multi-Agent Systems Specification Via Deontic Logic
- … contribution they make towards the engineering of complex computing systems. One of the criticisms most often…
- Cited by 1 (1 self) – Add To MetaCart
-
Design of a Microprocessor-based Control System of a Compression Molding Process George K. Adam
- … of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity…
- Add To MetaCart
-
Formal Specification-based Online Monitoring
- … International Conference on Engineering of Complex Computer Systems (ICECCS'06) 0-7695-2530-X/06 $20.00 © 2006…
- Add To MetaCart
-
Formal Semantics and Verification for Feature Modeling
- … of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’05) 0…
- Cited by 3 (0 self) – Add To MetaCart
-
Inference of Design Pattern Instances in UML models via Logic Programming
- … of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) 0…
- Add To MetaCart
-
Extracting FSMs from Object-Z Specifications with History Invariants
- … Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’05) 0…
- Add To MetaCart
-
Independent Proprietorship and Competition in Distributed Web Search Architectures
- …In Proceedings of the Seventh IEEE International Conference on Engineering of Complex Computer…
- Cited by 2 (2 self) – Add To MetaCart
-
Integrating Object-Z with Timed Automata
- … of Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’05) 0…
- Cited by 2 (1 self) – Add To MetaCart
-
Resource Conscious Design of Distributed Real-Time Systems An End-to-End Approach
- …Proceedings, IEEE International Conference on Engineering of Complex Computer Systems, Oct. 1996…
- Cited by 22 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
