2881 search results - page 104 / 577 » Model Checking for Programming Languages using Verisoft |
180
Voted
CSAC
2006
15 years 3 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
125
Voted
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
113
click to vote
AAAI
2010
15 years 4 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
133
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
121
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...