304 search results - page 10 / 61 » Privacy-Enhanced Event Scheduling |
SEUS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we propose event-driven power management techniques for wireless sensor networks. To accomplish this we model a sensor network application as a set of application-spe...
RTAS
2011
IEEE
13 years 3 days ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
ATAL
2006
Springer
14 years 5 days ago
2006
Springer
The paper describes main features of an Intelligent Scheduler for Road Transportation Applications based on Magenta agent technology and characterized by a number of unique, advan...
SBMF
2009
Springer
14 years 29 days ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
JTRES
2010
ACM
13 years 8 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...