Sciweavers

266 search results - page 22 / 54
» Architecture and Design Pattern Discovery Techniques - A Rev...
Sort
View
ECCTD
2011
72views more  ECCTD 2011»
12 years 9 months ago
Managing variability for ultimate energy efficiency
⎯ Technology scaling is in the era where the chip performance is constrained by its power dissipation. Although the power limits vary with the application domain, they dictate th...
Borivoje Nikolic
CHI
2005
ACM
14 years 9 months ago
Visualization in law enforcement
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
Hsinchun Chen, Homa Atabakhsh, Chunju Tseng, Byron...
FM
2005
Springer
98views Formal Methods» more  FM 2005»
14 years 2 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...
BTW
2005
Springer
107views Database» more  BTW 2005»
14 years 2 months ago
DBMS Architecture - Still an Open Problem
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
Theo Härder
GEOS
2009
Springer
14 years 1 months ago
Ontology-Based Integration of Sensor Web Services in Disaster Management
With the specifications defined through the Sensor Web Enablement initiative of the Open Geospatial Consortium, flexible integration of sensor data is becoming a reality. Challe...
Grigori Babitski, Simon Bergweiler, Jörg Hoff...