211 search results - page 10 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
129
Voted
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Context-aware Web service is an interactive model between the context of service requesters and the services in Web-enabled environments. We envision that providing context-aware ...
160
click to vote
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
156
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
151
click to vote
HYBRID
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
128
click to vote
NJC
2006
15 years 3 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...