10038 search results - page 258 / 2008 » Model Checking for Managers |
188
click to vote
ICST
2009
IEEE
16 years 6 days ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
157
Voted
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
199
Voted
OOIS
1997
Springer
15 years 9 months ago
1997
Springer
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
132
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
166
click to vote
QEST
2007
IEEE
15 years 12 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...