5904 search results - page 432 / 1181 » Requirements for a Composition Language |
209
click to vote
FAC
2008
15 years 7 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
155
click to vote
CGF
2007
15 years 7 months ago
2007
Hand held long exposures often result in blurred photographs due to camera shake. Long exposures are desirable both for artistic effect and in low-light situations. We propose a n...
178
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
: Grids provide uniform access to aggregations of heterogeneous resources and services such as computers, networks and storage owned by multiple organizations. However, such a dyna...
222
click to vote
JNW
2008
15 years 7 months ago
2008
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
167
click to vote
SCP
2008
15 years 7 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...