1112 search results - page 106 / 223 » Executing Abstract Test Cases |
111
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
122
click to vote
PERCOM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
247
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
122
click to vote
MICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
The Dynamic Execution Layer Interface (DELI) offers the following unique capability: it provides fine-grain control over the execution of programs, by allowing its clients to obse...
117
click to vote
RULEML
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...