233 search results - page 29 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
139
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
145
click to vote
TSP
2008
15 years 3 months ago
2008
In this paper, we consider an uplink multiple-antenna Code-Division Multiple-Access (CDMA) system linking several multiple-antenna mobile users to one multiple-antenna base-statio...
126
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
161
click to vote
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
132
click to vote
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...