Sciweavers

8377 search results - page 429 / 1676
» Scenarios - Introduction
Sort
View
AUSAI
2006
Springer
15 years 10 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
CAISE
2006
Springer
15 years 10 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
DEXAW
2004
IEEE
103views Database» more  DEXAW 2004»
15 years 10 months ago
An Object-Oriented Approach to GI Web Service Composition
In this paper we describe a novel approach to the incremental, semi-automated method for composition of web services in a geographical domain. First, we present the incremental co...
Carlos Granell, J. Francisco Ramos
EDBTW
2004
Springer
15 years 10 months ago
Semantic Web Recommender Systems
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
Cai-Nicolas Ziegler
EEE
2004
IEEE
15 years 10 months ago
Utilising Push and Pull Mechanism in Wireless E-Health Environment
The emerging of wireless computing motivates radical changes of how information is derived. Our paper concerns with developing push and pull based application in wireless environm...
Agustinus Borgy Waluyo, Raymond Hsieh, David Tania...