Sciweavers

1543 search results - page 232 / 309
» Using a Groupware Space for Distributed Requirements Enginee...
Sort
View
OWLED
2008
15 years 1 months ago
Managing Change: An Ontology Version Control System
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
Timothy Redmond, Michael Smith, Nick Drummond, Tan...
GLVLSI
2010
IEEE
212views VLSI» more  GLVLSI 2010»
15 years 5 months ago
An integrated thermal estimation framework for industrial embedded platforms
Next generation industrial embedded platforms require the development of complex power and thermal management solutions. Indeed, an increasingly fine and intrusive thermal contro...
Andrea Acquaviva, Andrea Calimera, Alberto Macii, ...
AVI
2006
15 years 1 months ago
Usability of overview-supported zooming on small screens with regard to individual differences in spatial ability
While zoomable user interfaces can improve the usability of applications by easing data access, a drawback is that some users tend to become lost after they have zoomed in. Previo...
Thorsten Büring, Jens Gerken, Harald Reiterer
ISSTA
2006
ACM
15 years 5 months ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan
SIGMOD
2007
ACM
165views Database» more  SIGMOD 2007»
16 years 1 hour ago
Statistical analysis of sketch estimators
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...
Florin Rusu, Alin Dobra