2060 search results - page 335 / 412 » The Composition of Event-B Models |
143
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................
130
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
133
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
104
click to vote
EDO
2005
Springer
15 years 10 months ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
161
click to vote
EUROCRYPT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...