5180 search results - page 674 / 1036 » Concurrency, Time, and Constraints |
214
click to vote
SSD
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
174
Voted
CODES
2003
IEEE
16 years 4 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
171
Voted
RTSS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a time division multiple access medium access control protocol for wireless sensor / actuator networks implemented with a contention-free message scheduler. A ...
149
click to vote
PADS
2003
ACM
16 years 3 days ago
2003
ACM
This paper presents Maya, a multi-paradigm, scalable and extensible network modeling framework for emulating distributed applications. A novel three-tier architecture is proposed ...
201
Voted
SASN
2003
ACM
16 years 3 days ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...