977 search results - page 153 / 196 » Formal methods integration in software engineering |
143
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
143
click to vote
DICS
2006
15 years 7 months ago
2006
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...
144
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
133
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
148
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...