1895 search results - page 241 / 379 » Using ATL for Checking Models |
151
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
161
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
144
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
123
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
152
click to vote
PLANX
2008
15 years 6 months ago
2008
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...