383 search results - page 54 / 77 » Abstracting Complex Languages through Transformation and Com... |
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
103
click to vote
TCSB
2010
14 years 11 months ago
2010
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
202
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implement...
113
click to vote
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
124
click to vote
COORDINATION
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...