7118 search results - page 1050 / 1424 » Electrical and Computer Engineering |
126
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
122
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
135
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
119
click to vote
ICSOC
2005
Springer
15 years 9 months ago
2005
Springer
The tuplespace system is a popular cooperative communication paradigm in service-oriented computing. Tuple matching in existing tuplespace systems is either type-based or object-ba...
126
click to vote
PAM
2005
Springer
15 years 9 months ago
2005
Springer
A number of key areas in IP network engineering, management and surveillance greatly benefit from the ability to dynamically identify traffic flows according to the applications re...