2520 search results - page 212 / 504 » Model-checking behavioral programs |
174
click to vote
ROBOCOMM
2007
IEEE
16 years 23 days ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
163
click to vote
ECOOP
2007
Springer
16 years 20 days ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
158
click to vote
IADIS
2003
15 years 7 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
189
click to vote
KDD
2010
ACM
15 years 4 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
166
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...