1234 search results - page 190 / 247 » Organizational Abstractions for Adaptive Systems |
216
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
181
click to vote
CRYPTO
2007
Springer
15 years 9 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
132
click to vote
GLOBECOM
2009
IEEE
16 years 20 days ago
2009
IEEE
—This paper identifies important features a cognitive radio framework should provide, namely a virtual architecture ware abstraction, an adaptive run-time system for managing co...
147
click to vote
CONCUR
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
171
click to vote
GPCE
2007
Springer
16 years 2 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...