Sciweavers

2414 search results - page 344 / 483
» Server-Level Power Control
Sort
View
ECCB
2008
IEEE
13 years 9 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
AHSWN
2007
116views more  AHSWN 2007»
13 years 9 months ago
On the Lifetime of Large Wireless Sensor Networks with Multiple Battery Levels
Large wireless sensor networks promise to revolutionize the way we sense and control the physical world. In large networks the nodes within the range of the base station forward d...
Mihail L. Sichitiu, Rudra Dutta
AUTOMATICA
2010
122views more  AUTOMATICA 2010»
13 years 9 months ago
On the algebraic characterization of invariant sets of switched linear systems
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
Pierre Riedinger, Mario Sigalotti, Jamal Daafouz
CORR
2010
Springer
83views Education» more  CORR 2010»
13 years 9 months ago
Utility Constrained Energy Minimization In Aloha Networks
In this paper we consider the issue of energy efficiency in random access networks and show that optimizing transmission probabilities of nodes can enhance network performance in t...
Amir Mahdi Khodaian, Babak Hossein Khalaj, Mohamma...
IJAHUC
2006
129views more  IJAHUC 2006»
13 years 9 months ago
Optimal distance geographic routing for energy efficient wireless sensor networks
: Wireless sensor networks require energy efficient routing protocols owing to limited resource on the sensor node. In this paper, we develop optimal distance geographic routing (O...
Xin-Ming Huang, Jing Ma