13140 search results - page 2252 / 2628 » Coupling Component Systems towards Systems of Systems |
183
click to vote
ICPADS
2006
IEEE
16 years 26 days ago
2006
IEEE
One of the guiding principles of the Grid is local (site) autonomy. Resource owners maintain control over their resources even when those resources are part of a larger Grid. In o...
182
click to vote
APLAS
2006
ACM
16 years 25 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
181
click to vote
ASAP
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
196
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
— In many devices, wireless network interfaces consume upwards of 30% of scarce portable system energy. Extending the system lifetime by minimizing communication power consumptio...
223
click to vote
WACV
2005
IEEE
16 years 12 days ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...