1040 search results - page 132 / 208 » Controlling Aspect Reentrancy |
132
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
88
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...
145
click to vote
ECOWS
2008
Springer
15 years 2 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
EGC
2005
Springer
15 years 6 months ago
2005
Springer
The widespread acceptance and uptake of Grid technology can only be achieved if it can be ensured that the security mechanisms needed to support Grid based collaborations are at l...
104
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...