3381 search results - page 536 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
359
click to vote
ICASSP
2007
IEEE
16 years 22 days ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
173
click to vote
ICRA
2007
IEEE
16 years 22 days ago
2007
IEEE
— This paper is about the autonomous control of an autonomous underwater vehicle (AUV), and the particular considerations required to allow proper control while towing a 100-mete...
178
click to vote
FROCOS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
126
click to vote
IISWC
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— This paper presents our approach for applicationaware power management. We combine continuous monitoring of critical workload indicators, online power and performance m...
182
click to vote
ICRA
2005
IEEE
16 years 14 hour ago
2005
IEEE
— Many tasks examined for robotic application like rescue missions or humanitarian demining require a robotic vehicle to navigate in unstructured natural terrain. This paper intr...