2520 search results - page 482 / 504 » Model-checking behavioral programs |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modulariz...
MOBIHOC
2003
ACM
14 years 7 months ago
2003
ACM
A central challenge in ad hoc networks is the design of routing protocols that can adapt their behavior to frequent and rapid changes in the network. The performance of proactive ...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...