7766 search results - page 460 / 1554 » Testing Nondeterminate Systems |
189
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
166
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
The goal of the Argo system is to allow medium-sized groups of users to collaborate remotely from their desktops in a way that approaches as closely as possible the effectiveness ...
185
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes an unusual event recognition algorithm, which is a part of a mobile alarm system. Our systems focus on unusual event. When the system detects the unusual event,...
175
click to vote
ECSCW
2007
15 years 8 months ago
2007
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
232
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...