3468 search results - page 654 / 694 » An open logical framework |
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
MICRO
2008
IEEE
14 years 3 months ago
2008
IEEE
—Efficient sharing of system resources is critical to obtaining high utilization and enforcing system-level performance objectives on chip multiprocessors (CMPs). Although sever...
SECON
2008
IEEE
14 years 3 months ago
2008
IEEE
—We present the design and implementation of UDAE, a Universal Data Access Engine for wireless sensor networks. The UDAE allows developers to access data both locally and over th...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—This paper describes experiences from implementing an experimental mobile peer-to-peer application called Peer2Schedule aimed at improving and supporting collaboration w...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In order to achieve reliable autonomous control in advanced robotic systems like entertainment robots, assistive robots, humanoid robots and autonomous vehicles, sensory data n...