1321 search results - page 57 / 265 » Logic Simulation Using Networks of State Machines |
DANCE
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper provides an overview of SANDS (Specialized Active Networking for Distributed Simulation), a DARPA-ITO sponsored research project that is using active networking to deve...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...
ML
2008
ACM
14 years 9 months ago
2008
ACM
Abstract. Recently, there has been an increasing interest in directed probabilistic logical models and a variety of languages for describing such models has been proposed. Although...
RE
2004
Springer
15 years 3 months ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...