Sciweavers

8377 search results - page 359 / 1676
» Scenarios - Introduction
Sort
View
IJCAI
2003
15 years 8 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
IM
2003
15 years 8 months ago
Enabling PreOS Desktop Management
: Desktop management is probably the most resource-consuming task for the typical operations and support team, regardless of being frequently overlooked as not as complex or specia...
Tiago Cruz, Paulo Simões
TNC
2004
105views Education» more  TNC 2004»
15 years 8 months ago
Why Seamless? Towards Exploiting WLAN-Based Intermittent Connectivity on the Road
This paper discusses new mobile usage scenarios for WLAN technologies and presents an architecture that is based on the notion of intermittent connectivity instead of seamless con...
Jörg Ott, Dirk Kutscher
WSC
2004
15 years 8 months ago
An Architecture for Distributed Simulation Games
In this paper we present an architecture for internet-mediated simulation games. The challenge was to use today's state of the art technologies to provide a simulated environ...
Stijn-Pieter A. van Houten, Peter H. M. Jacobs
166
Voted
OAS
2003
15 years 8 months ago
Collaborative Understanding of Distributed Ontologies in a Multiagent Framework: Design and Experiments
In this paper, we describe our work-in-progress with collaborative understanding of distributed ontologies in a multiagent framework. As reported earlier, the objective of this fr...
Leen-Kiat Soh