4460 search results - page 702 / 892 » Resources in process algebra |
157
click to vote
ECOWS
2007
Springer
16 years 19 days 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...
167
click to vote
EMSOFT
2007
Springer
16 years 19 days 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 ...
195
click to vote
EUROSSC
2007
Springer
16 years 19 days 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...
157
click to vote
FPL
2007
Springer
16 years 19 days 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...
161
click to vote
GECCO
2007
Springer
16 years 19 days 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 ...