7557 search results - page 20 / 1512 » Modeling Timed Concurrent Systems |
109
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
127
click to vote
JUCS
2008
15 years 1 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
140
click to vote
ICVS
2001
Springer
15 years 5 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
117
click to vote
RTSS
1990
IEEE
15 years 5 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...
ENTCS
2007
15 years 1 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...