871 search results - page 138 / 175 » Modular Design of Reactive Systems |
TSMC
2010
13 years 2 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
SUTC
2006
IEEE
14 years 2 months ago
2006
IEEE
– We describe a network of sensors linked by software and the internet to an autonomous satellite observation response capability. This system of systems is designed with a flexi...
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
— Reverse engineering of large legacy software systems generally cannot meet its objectives because it cannot be cost-effective. There are two main reasons for this. First, it is...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
We present SNAP (Small-world Network Analysis and Partitioning), an open-source graph framework for exploratory study and partitioning of large-scale networks. To illustrate the c...
EMSOFT
2011
Springer
12 years 7 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...