7557 search results - page 208 / 1512 » Modeling Timed Concurrent Systems |
179
Voted
GIS
1999
ACM
15 years 11 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...
189
Voted
ECRTS
2008
IEEE
16 years 1 months 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...
193
click to vote
DAGSTUHL
2003
15 years 8 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...
178
Voted
IPPS
2003
IEEE
16 years 8 days 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...
214
click to vote
FORMATS
2004
Springer
16 years 11 days 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 ...