3909 search results - page 274 / 782 » Extreme Model Checking |
113
Voted
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
100
Voted
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
We present an extremely minimal ecosystem model which takes account of thermodynamic constraints on the organisms’ metabolism. This suggests a way to test the application of a hy...
150
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
115
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
110
Voted
TOG
2002
15 years 3 months ago
2002
Analytic visibility algorithms, for example methods which compute a subdivided mesh to represent shadows, are notoriously unrobust and hard to use in practice. We present a new me...