Sciweavers

5600 search results - page 829 / 1120
» Evaluating affective interactions
Sort
View
IEEEIAS
2007
IEEE
16 years 1 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
IEEESCC
2007
IEEE
16 years 1 months ago
A Study of Language-Action Perspective as a Theoretical Framework for Web Services
This dissertation contributes to the services science discipline by examining appropriateness of Language-Action Perspective (LAP) as a theoretical framework for web services, the ...
Karthikeyan Umapathy
IPC
2007
IEEE
16 years 1 months ago
Mining User Models for Effective Adaptation of Context-Aware Applications
Current context-aware adaptation techniques are limited in their support for user personalisation. Complex codebases, a reliance on developer modification and an inability to auto...
Shiu Lun Tsang, Siobhán Clarke
IRI
2007
IEEE
16 years 1 months ago
Acronym-Expansion Recognition and Ranking on the Web
The paper presents a study on large-scale automatic extraction of acronyms and associated expansions from Web data and from the user interactions with this data through Web search...
Alpa Jain, Silviu Cucerzan, Saliha Azzam
IROS
2007
IEEE
196views Robotics» more  IROS 2007»
16 years 1 months ago
Self-healing for mobile robot networks with motion synchronization
—The objective of self-healing in mobile robot networks is to maintain not only logical topology but also physical one of a network when robots fail. An interaction dynamics mode...
Fei Zhang, Weidong Chen