Sciweavers

7861 search results - page 450 / 1573
» Orthographic Modeling Environment
Sort
View
174
Voted
ECRTS
2000
IEEE
15 years 11 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
KBSE
1999
IEEE
15 years 11 months ago
Towards Adaptive Web Agents
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
J. William Murdock, Ashok K. Goel
ICMI
2000
Springer
104views Biometrics» more  ICMI 2000»
15 years 10 months ago
Jacob - An Animated Instruction Agent in Virtual Reality
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
Marc Evers, Anton Nijholt
SAC
2010
ACM
15 years 8 months ago
Scalable analysis of collective behaviour in smart service systems
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
Mieke Massink, Michael D. Harrison, Diego Latella
CSCWD
2008
Springer
15 years 8 months ago
Authorization approaches for advanced permission-role assignments
Role-based access control (RBAC) has been proven to be a flexible and useful access control model for information sharing in distributed collaborative environments. Permission-rol...
Hua Wang, Jianming Yong, Jiuyong Li, Min Peng