Sciweavers

2027 search results - page 108 / 406
» Process Support for Tools Interoperability
Sort
View
TPHOL
1998
IEEE
15 years 2 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
AICCSA
2001
IEEE
65views Hardware» more  AICCSA 2001»
15 years 1 months ago
Taxonomy of Process Modeling Languages
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
Kamal Zuhairi Zamli, Peter Lee
ISMAR
2009
IEEE
15 years 4 months ago
Using AR to support cross-organisational collaboration in dynamic tasks
This paper presents a study where Augmented Reality (AR) technology has been used as a tool for supporting collaboration between the rescue services, the police and military perso...
Susanna Nilsson, Björn J. E. Johansson, Arne ...
CHI
2007
ACM
15 years 10 months ago
Momento: support for situated ubicomp experimentation
We present the iterative design of Momento, a tool that provides integrated support for situated evaluation of ubiquitous computing applications. We derived requirements for Momen...
Scott Carter, Jennifer Mankoff, Jeffrey Heer
WEBI
2004
Springer
15 years 3 months ago
Adaptation and Personalization in Web-based Learning Support Systems
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
Lisa Fan