7118 search results - page 1212 / 1424 » Electrical and Computer Engineering |
138
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
107
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
163
click to vote
ITRUST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
117
click to vote
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Procrastination scheduling has gained importance for energy efficiency due to the rapid increase in the leakage power consumption. Under procrastination scheduling, task executio...
125
click to vote
MABS
2004
Springer
15 years 8 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...