284 search results - page 37 / 57 » Labels and event processes in the Asbestos operating system |
149
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
137
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
148
click to vote
WSC
2000
15 years 7 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
158
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
176
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...