2810 search results - page 415 / 562 » Contract-Based Component System Design |
114
click to vote
ASM
2010
ASM
15 years 12 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
135
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
IWANN
2007
Springer
15 years 9 months ago
2007
Springer
We have designed an adaptive analogue VLSI neuromorphic chip that will be used to interface MEM wind sensors to an insectinspired robot. The main chip components are a sensory inte...
127
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Efficient multisite job scheduling facilitates the cooperation of multi-domain massively parallel processor systems in a computing grid environment. However, co-allocation, hetero...
108
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...