211 search results - page 17 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
95
Voted
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
108
click to vote
ICDCSW
2000
IEEE
15 years 5 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
130
click to vote
DEBU
2008
15 years 1 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
128
click to vote
IC3
2009
14 years 11 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
117
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...