Sciweavers

265 search results - page 8 / 53
» aime 2001
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
ICHIM
1997
118views more  ICHIM 1997»
13 years 8 months ago
Location Aware Mobile Interactive Guides: Usability Issues
This paper discusses the issues related to the application of wireless communication and positioning technologies to the development of hand-held electronic tour guides. These iss...
Jonathan Broadbent, Patrizia Marti
PUK
2000
13 years 8 months ago
An Accessibility graph learning approach for task planning in large domains
Abstract. In the stream of research that aims to speed up practical planners, we propose a new approach to task planning based on Probabilistic Roadmap Methods (PRM). Our contribut...
Emmanuel Guere, Rachid Alami
LPE
1997
13 years 8 months ago
Visualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
Ulrich Neumerkel, Christoph Rettig, Christian Scha...
WOA
2007
13 years 8 months ago
An Agent-Based Service Oriented Architecture
— Industry is more and more interested in executing business functions that span multiple applications. This demands high-levels of interoperability and a more flexible and adapt...
Agostino Poggi, Michele Tomaiuolo, Paola Turci