1091 search results - page 118 / 219 » The State of Cognitive Systems Engineering |
EUROMICRO
2007
IEEE
14 years 4 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
IASTEDSE
2004
13 years 11 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
ENTCS
2010
13 years 7 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
STTT
2010
13 years 4 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...