5409 search results - page 129 / 1082 » Basic Observables for Processes |
111
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
106
Voted
ICCL
1998
IEEE
15 years 5 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
124
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
115
click to vote
MOBIS
2008
15 years 2 months ago
2008
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
80
Voted
NIPS
2008
15 years 2 months ago
2008
In this paper we propose a new incremental spike sorting model that automatically eliminates refractory period violations, accounts for action potential waveform drift, and can ha...