Sciweavers

14347 search results - page 2619 / 2870
» Interactive Granular Computing
Sort
View
107
Voted
COCO
1997
Springer
127views Algorithms» more  COCO 1997»
15 years 7 months ago
A Nonadaptive NC Checker for Permutation Group Intersection
In this paper we design a nonadaptive NC checker for permutation group intersection, sharpening a result from Blum and Kannan 3]. This is a consequence of two results. First we sh...
Vikraman Arvind, Jacobo Torán
156
Voted
ESEC
1997
Springer
15 years 7 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...
118
Voted
VISUALIZATION
1996
IEEE
15 years 7 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...
152
Voted
ICFEM
1997
Springer
15 years 7 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
125
Voted
ICMCS
1994
IEEE
123views Multimedia» more  ICMCS 1994»
15 years 7 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
« Prev « First page 2619 / 2870 Last » Next »