2407 search results - page 255 / 482 » A Tool for Abstraction in Model Checking |
174
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
199
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
197
click to vote
ICFEM
2005
Springer
16 years 22 days ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
184
click to vote
GC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
177
click to vote
EXPERT
2002
15 years 7 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...