Sciweavers

9730 search results - page 317 / 1946
» Relating models of backtracking
Sort
View
110
Voted
AH
2006
Springer
15 years 11 months ago
GLAM: A Generic Layered Adaptation Model for Adaptive Hypermedia Systems
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
Cédric Jacquiot, Yolaine Bourda, Fabrice Po...
HAPTICS
2005
IEEE
15 years 10 months ago
Friction Modeling and Compensation for Haptic Interfaces
Friction cancellation and high gain force feedback are studied for their relative benefits in mitigating the effects of friction in haptic interfaces. Although either technique a...
Nicholas L. Bernstein, Dale A. Lawrence, Lucy Y. P...
184
Voted
FTDCS
1997
IEEE
15 years 9 months ago
Protocols versus Objects: Can Models for Telecommunications and Distributed Processing Coexist?
This paper identifies two paradigms that influence the design of telematics systems nowadays: the protocol-centred and the object-centred paradigm. Both paradigms have been intr...
Marten van Sinderen, Luís Ferreira Pires
AINA
2004
IEEE
15 years 8 months ago
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
Il-Gon Kim, Jin-Young Choi
ERSHOV
2006
Springer
15 years 8 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer