5042 search results - page 823 / 1009 » Visions for application development on hybrid computing syst... |
204
click to vote
LOCA
2005
Springer
15 years 12 months ago
2005
Springer
Services in pervasive computing systems must evolve so that they become minimally intrusive and exhibit inherent proactiveness and dynamic adaptability to the current conditions, u...
161
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
176
click to vote
APPINF
2003
15 years 7 months ago
2003
Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array prog...
203
click to vote
JSAC
2011
15 years 1 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
197
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...