2881 search results - page 466 / 577 » Model Checking for Programming Languages using Verisoft |
139
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
As the mobility and the number of affordable, powerful, and highly portable devices becoming networked increases, so will the amount of networked services offered, managed and disc...
121
Voted
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
146
Voted
VRML
1997
ACM
15 years 9 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
175
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
144
Voted
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...