2496 search results - page 417 / 500 » Error-detecting properties of languages |
113
click to vote
ISOLA
2004
Springer
15 years 6 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...
MDAFA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
107
click to vote
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
SRDS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
140
click to vote
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...