Sciweavers

2833 search results - page 529 / 567
» Visualization for information exploration and analysis
Sort
View
DESRIST
2009
Springer
79views Education» more  DESRIST 2009»
14 years 8 days ago
Power of peripheral designers: how users learn to design
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...
Yutaka Yamauchi
FORTE
1994
13 years 9 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
BMCBI
2007
176views more  BMCBI 2007»
13 years 7 months ago
The Firegoose: two-way integration of diverse data from different bioinformatics web resources with desktop applications
Background: Information resources on the World Wide Web play an indispensable role in modern biology. But integrating data from multiple sources is often encumbered by the need to...
J. Christopher Bare, Paul T. Shannon, Amy K. Schmi...
EAGC
2004
Springer
14 years 1 months ago
Monitoring Message-Passing Parallel Applications in the Grid with GRM and Mercury Monitor
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
Norbert Podhorszki, Zoltán Balaton, Gabor G...
CSCW
2007
ACM
13 years 7 months ago
Doing Virtually Nothing: Awareness and Accountability in Massively Multiplayer Online Worlds
To date the most popular and sophisticated types of virtual worlds can be found in the area of video gaming, especially in the genre of Massively Multiplayer Online Role Playing Ga...
Robert J. Moore, Nicolas Ducheneaut, Eric Nickell