192 search results - page 37 / 39 » Simulation, verification and automated composition of web se... |
JPDC
2007
13 years 5 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
ICDCS
2007
IEEE
13 years 11 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
Semantic Business Process Management (SBPM) has been proposed as an extension of BPM with Semantic Web and Semantic Web Services (SWS) technologies in order to increase and enhance...
FLOPS
2006
Springer
13 years 9 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...