10458 search results - page 418 / 2092 » Modeling Features at Runtime |
199
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— A mobile robot that accomplishes high level tasks needs to be able to classify the objects in the environment and to determine their location. In this paper, we address the pro...
196
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
175
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Chromatic aberration is the phenomenon where lights of different wavelengths fail to converge at the same position on the focal plane. There are two kinds of chromatic aberration:...
176
click to vote
GCC
2007
Springer
16 years 29 days ago
2007
Springer
Wide-area distributed systems like computational grids are emergent infrastructures for high-performance parallel applications. On these systems, communication mechanisms have to ...
165
click to vote
WER
2007
Springer
16 years 27 days ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...