2872 search results - page 378 / 575 » On (Omega-)Regular Model Checking |
164
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
180
click to vote
DBPL
2007
Springer
16 years 19 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
161
click to vote
CSFW
2006
IEEE
16 years 16 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
174
click to vote
SOSE
2006
IEEE
16 years 14 days ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
165
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...