Sciweavers

31387 search results - page 127 / 6278
» Abstracts
Sort
View
80
Voted
RTSS
2008
IEEE
15 years 9 months ago
Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor Networks
Qing Cao, Debessay Fesehaye Kassa, Nam Pham, Yusuf...
SEAA
2008
IEEE
15 years 9 months ago
SAIL: A Sensor Abstraction and Integration Layer for Context Awareness
Michele Girolami, Stefano Lenzi, Francesco Furfari...
97
Voted
SEFM
2008
IEEE
15 years 9 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
SYNASC
2008
IEEE
246views Algorithms» more  SYNASC 2008»
15 years 9 months ago
Abstract Matrix Arithmetic
Alan P. Sexton, Volker Sorge, Stephen M. Watt