65 search results - page 9 / 13 » Pattern Based Property Specification and Verification for Se... |
151
click to vote
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
119
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
153
click to vote
REFSQ
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
131
Voted
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
124
Voted
CCR
2004
15 years 2 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...