195 search results - page 15 / 39 » Static Analysis of Dynamic Communication Systems by Partner ... |
102
click to vote
INFOCOM
2012
IEEE
13 years 6 days ago
2012
IEEE
Abstract—The WiFi radio in smartphones consumes a significant portion of energy when active. To reduce the energy consumption, the Power Saving Mode was standardized in IEEE 802...
103
click to vote
ASIAN
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
CC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
NCA
2007
IEEE
15 years 4 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...