3147 search results - page 426 / 630 » Open-Source Model Checking |
125
click to vote
DBPL
2007
Springer
15 years 8 months 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...
102
click to vote
CSFW
2006
IEEE
15 years 8 months 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 ...
124
click to vote
SOSE
2006
IEEE
15 years 8 months 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...
SEKE
2005
Springer
15 years 8 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...
121
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...