4460 search results - page 702 / 892 » Resources in process algebra |
170
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...
184
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
226
click to vote
EUROSSC
2007
Springer
16 years 1 months ago
2007
Springer
An increasing number of computationally enhanced objects is distributed around us in physical space, which are equipped – or at least can be provided – with sensors for measuri...
189
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a first step towards a time predictable computer architecture for single-chip multiprocessing (CMP). CMP is the actual trend in server and desktop syste...
178
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Artificial Development Systems have been introduced as a technique aimed at increasing the scalability of evolutionary algorithms. Most commonly the development model is part of ...