989 search results - page 152 / 198 » Intelligent Remote Monitoring |
119
click to vote
HRI
2012
ACM
13 years 9 months ago
2012
ACM
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
127
click to vote
WOLLIC
2009
Springer
15 years 8 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...
140
click to vote
FGCN
2008
IEEE
15 years 8 months ago
2008
IEEE
In last decade intelligent transportation systems (ITS) and vehicular ad hoc network (VANET) became one of the most active and emerging fields of research. It is expected that thi...
111
click to vote
DIGITEL
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a multi-component; distributed system (MuDiS) based solution for building a virtual learning environment which combines a wide range of technology, tools and d...