1091 search results - page 50 / 219 » The State of Cognitive Systems Engineering |
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
IEEESCC
2005
IEEE
15 years 4 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
UML
2005
Springer
15 years 3 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
82
Voted
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...
AUTOMATICA
2004
14 years 10 months ago
2004
Nonnegative and compartmental models are widespread in engineering systems and life sciences and play a key role in the understanding of these systems. In this paper, we develop a...