Sciweavers

1445 search results - page 174 / 289
» Tool Integration in Software Engineering Environments
Sort
View
ICSE
1998
IEEE-ACM
14 years 2 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
COBUILD
1998
Springer
14 years 2 months ago
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
Norbert A. Streitz, Jörg Geißler, Torst...
ISSA
2004
13 years 11 months ago
A Unified Architecture For Automatic Software Updates
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
Dominic White
IUI
2003
ACM
14 years 3 months ago
A virtual patient based on qualitative simulation
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
Marc Cavazza, Altion Simo
OOPSLA
2007
Springer
14 years 4 months ago
No ifs, ands, or buts: uncovering the simplicity of conditionals
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
Jonathan Edwards