687 search results - page 51 / 138 » Specification and Verification of Model Transformations Usin... |
TVLSI
2008
15 years 13 days ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
124
Voted
CIBSE
2009
ACM
15 years 7 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
109
Voted
CADE
2007
Springer
16 years 26 days ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
107
click to vote
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
101
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...