Sciweavers

2790 search results - page 376 / 558
» The Human-Provided Services Framework
Sort
View
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 8 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein
GEOINFO
2004
15 years 7 months ago
Design and Implementation Issues for Explorative Location-based Applications: The NexusRallye
: Explorative Location-based Applications (eLBA), define a new class of applications that rely on both positioning (i.e. location information) and georeferenced information in addi...
Daniela Nicklas, Nicola Hönle, Michael Molten...
FLAIRS
2006
15 years 7 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
DAIS
2001
15 years 7 months ago
Middleware Support for Context-Aware Multimedia Applications
: We describe QoSDREAM, a middleware framework for the construction and management of context-aware multimedia applications. The contributions of QoSDREAM include (1) a novel appro...
Hani Naguib, George Coulouris, Scott Mitchell
ECIS
2001
15 years 7 months ago
Planning for IS Related Industry Transformation: The Case of the 3daycar
Despite their potential to reshape business radically, information systems (IS) and information technology (IT) can be key inhibitors of industry transformation. In the automotive...
Mickey Howard, Richard T. Vidgen, Philip Powell, A...