Sciweavers

1709 search results - page 165 / 342
» Precise Modeling of Design Patterns
Sort
View
IROS
2006
IEEE
132views Robotics» more  IROS 2006»
15 years 7 months ago
3D interaction technique to enhance telemanipulation tasks using virtual environment
Abstract— This paper gives preliminary results about the utilization of an interaction technique called FOLLOW-ME to fasten the selection task for teleoperation system. The imple...
Nassima Ouramdane-Djerrah, Frédéric ...
LICS
2007
IEEE
15 years 7 months ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
ECUMN
2007
Springer
15 years 7 months ago
Enforcing Access Control Using Risk Assessment
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
Nguyen Ngoc Diep, Le Xuan Hung, Yonil Zhung, Sungy...
SE
2007
15 years 2 months ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard
IADIS
2004
15 years 2 months ago
A Taxonomy for Scenario-Based Engineering
Recent works about the activity-oriented approach et educational modeling languages ask questions about the pedagogical scenario concept. The aim of this paper is to define the fo...
Anne Lejeune, Jean-Philippe Pernin