5216 search results - page 986 / 1044 » Planning as Model Checking |
91
Voted
DEBU
2008
14 years 11 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
85
Voted
ENTCS
2007
14 years 11 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
113
Voted
KES
2007
Springer
14 years 10 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
94
Voted
SIGMETRICS
2002
ACM
14 years 10 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
108
Voted
RE
2008
Springer
14 years 10 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...