9067 search results - page 1740 / 1814 » Adaptive Model Checking |
156
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
178
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
160
click to vote
SIGMETRICS
1999
ACM
15 years 10 months ago
1999
ACM
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
210
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
In RoboCup-98, sparrows team worked hard just to get both a simulation and a middle size robot team to work and to successfully participate in a major tournament. For this year, we...
194
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...