Sciweavers

304 search results - page 22 / 61
» Privacy-Enhanced Event Scheduling
Sort
View
IANDC
2007
107views more  IANDC 2007»
13 years 8 months ago
Task automata: Schedulability, decidability and undecidability
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
Elena Fersman, Pavel Krcál, Paul Pettersson...
INFOCOM
2008
IEEE
14 years 2 months ago
Utility-Driven Spatiotemporal Sampling Using Mobile Sensors
Many real-world applications for sensor networks require event sampling with sufficient resolution over both spatial and temporal dimensions. When the deployed nodes are insuffi...
Yang Yu, Loren J. Rittle
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
14 years 3 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
CUZA
2002
132views more  CUZA 2002»
13 years 8 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
14 years 1 months ago
DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring
— The task scheduler of an energy harvesting wireless sensor node (WSN) must adapt the task complexity and maximize the accuracy of the tasks within the constraint of limited ene...
A. Ravinagarajan, D. Dondi, Tajana Simunic Rosing