Sciweavers

687 search results - page 128 / 138
» Designing usable decision support systems for HVM
Sort
View
ICDE
2009
IEEE
158views Database» more  ICDE 2009»
14 years 9 months ago
An Integrated Approach to Performance Monitoring for Autonomous Tuning
With an ever growing complexity and data volume, the administration of today's relational database management systems has become one of the most important cost factors in thei...
Alexander Thiem, Kai-Uwe Sattler
HICSS
2005
IEEE
129views Biometrics» more  HICSS 2005»
14 years 1 months ago
An Integrated Approach to Online Partnership Building
Research in information sciences in recent years has dealt with how to support collaborative work across time, space and organizational boundaries. However, this research neglecte...
Tobias Keim, Tim Weitzel
APSEC
2003
IEEE
14 years 28 days ago
An XVCL Approach to Handling Variants: A KWIC Product Line Example
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
Hongyu Zhang, Stan Jarzabek
ICA3PP
2009
Springer
14 years 7 days ago
A Software Transactional Memory Service for Grids
In-memory data sharing for grids allow location-transparent access to data stored in volatile memory. Existing Grid middlewares typ- ically support only explicit data transfer betw...
Kim-Thomas Möller, Marc-Florian Müller, ...
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
14 years 1 days ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...