Sciweavers

13969 search results - page 2543 / 2794
» Child computer interaction
Sort
View
ESEC
1997
Springer
15 years 10 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
VISUALIZATION
1996
IEEE
15 years 10 months ago
Visualization of Laser Confocal Microscopy Datasets
This paper presents an example of how existing visualization methods can be successfully applied { after minor modi cations { for allowing new, sometimes unexpected insight in sci...
Georgios Sakas, Michael G. Vicker, Peter Jörg...
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICMCS
1994
IEEE
123views Multimedia» more  ICMCS 1994»
15 years 10 months ago
Casual Collaboration
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
Judith S. Donath
ECOOP
1994
Springer
15 years 10 months ago
A Geographic Environmental Modeling System: Towards an Object-Oriented Framework
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
Bernd Bruegge, Erik Riedel
« Prev « First page 2543 / 2794 Last » Next »