6722 search results - page 883 / 1345 » Reuse-Conducive Development Environments |
185
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
131
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Low-power networked devices, such as sensors and actuators, are becoming a vital part of our everyday infrastructure. Being networked, the continued development of these systems n...
178
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Abstract--Vehicular WiFi access is distinct in two respects, (i) continuous mobility of clients and (ii) possibility of predictable link quality. As part of this study, we aim to c...
187
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
179
click to vote
AHS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...