5448 search results - page 243 / 1090 » Breakpoints and Time in Distributed Computations |
155
click to vote
ISORC
2009
IEEE
16 years 24 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
167
click to vote
ANSS
2008
IEEE
16 years 19 days ago
2008
IEEE
—Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...
148
click to vote
ISORC
2008
IEEE
16 years 17 days ago
2008
IEEE
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
169
click to vote
ISORC
2008
IEEE
16 years 17 days ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
178
click to vote
CONCUR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...