1091 search results - page 19 / 219 » The State of Cognitive Systems Engineering |
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
ICSE
2001
IEEE-ACM
14 years 1 days ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Because it takes time and trust to establish agreement, traditional consensus-based architectural styles cannot safely accommodate resources that change faster than it takes to tr...
CMSB
2004
Springer
14 years 1 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...