7557 search results - page 208 / 1512 » Modeling Timed Concurrent Systems |
159
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
178
click to vote
ECRTS
2008
IEEE
16 years 29 days ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
170
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
158
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
201
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...