6308 search results - page 69 / 1262 » Modeling Urgency in Timed Systems |
109
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
168
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
121
click to vote
GIS
1999
ACM
15 years 7 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...
136
Voted
ECRTS
2008
IEEE
15 years 10 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...
130
Voted
DAGSTUHL
2003
15 years 5 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...