226 search results - page 2 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
Loose coupling is often cited as a defining characteristic of service-oriented architectures. Interactions between services take place via messages in an asynchronous environment ...
ICCAD
1998
IEEE
13 years 8 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
The popularity of distributed learning and the continued growth in the number of colleges and universities offering courses delivered entirely via asynchronous learning networks (...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
The asynchronous systems f are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u : R {0, ...