9405 search results - page 1193 / 1881 » Computing a Model of Set Theory |
219
Voted
HYBRID
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
183
click to vote
ICDCSW
2002
IEEE
16 years 7 days ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
199
Voted
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
209
Voted
SAC
2000
ACM
15 years 11 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
160
click to vote
ICCSA
2007
Springer
15 years 11 months ago
2007
Springer
In order to achieve a high performance in a real implementation of the non-repudiation service it is necessary to estimate timeouts, TTP features, publication key time, number of o...