4454 search results - page 402 / 891 » Designing components for e-services |
192
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
185
click to vote
ASYNC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a systematic method for designing of a self-healing asynchronous array in the presence of errors. By adding spare resources in one of three different ways and ...
174
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a novel input device design for capturing gestures. The system is based on commodity components and combines accelerometers, gyroscopes and bend sensors. It is...
183
click to vote
ISM
2006
IEEE
16 years 1 months ago
2006
IEEE
In recent decades, the cost of acoustic technologies has declined dramatically. Advances in networks, storage devices, and power management have made it practical to consider the ...
176
click to vote
COLCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
The trusted computing bases (TCBs) of applications running on today’s commodity operating systems have become extremely large. This paper presents an architecture that allows to...