Sciweavers

509 search results - page 83 / 102
» Software Process Support over the Internet
Sort
View
ESEC
1997
Springer
14 years 18 days 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...
CASES
2006
ACM
14 years 5 days ago
Incremental elaboration for run-time reconfigurable hardware designs
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
Arran Derbyshire, Tobias Becker, Wayne Luk
AVI
2008
13 years 10 months ago
MedioVis: visual information seeking in digital libraries
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...
Mathias Heilig, Mischa Demarmels, Werner A. Kö...
ECSCW
2011
12 years 8 months ago
The Pendulum of Standardization
Cooperation and collaboration are generally an inherent part of everyday practice, and particularly among nurses. However, the technologies that support these practices are still i...
Torbjørg Meum, Eric Monteiro, Gunnar Elling...
DSOM
2007
Springer
14 years 2 months ago
Virtualization-Based Techniques for Enabling Multi-tenant Management Tools
As service providers strive to improve the quality and efficiency of their IT (information technology) management services, the need to adopt a standard set of tools and processes...
Chang-Hao Tsai, Yaoping Ruan, Sambit Sahu, Anees S...