1554 search results - page 204 / 311 » An Overview of the Spring System |
PAMI
2006
13 years 9 months ago
2006
Developing on-board automotive driver assistance systems aiming to alert drivers about driving environments, and possible collision with other vehicles has attracted a lot of atten...
COMCOM
2000
13 years 9 months ago
2000
: Security is an important issue for the widespread deployment of applications based on software agent technology. It is generally agreed that without the proper countermeasures in...
IEE
2010
13 years 7 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
EUROSYS
2006
ACM
14 years 3 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...