Sciweavers

1697 search results - page 233 / 340
» Supporting the design of service contracts with interaction ...
Sort
View
CSCWD
2001
Springer
15 years 11 months ago
Update Algorithms for the Sketch Data Model
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
Michael Johnson, Robert D. Rosebrugh
DLOG
1997
15 years 7 months ago
Inspecting Concepts Graphically with Zoomable Lenses
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
Gary Ng, Carole A. Goble, Adrian West
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
16 years 3 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
EMSOFT
2005
Springer
15 years 12 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
CBMS
2006
IEEE
16 years 14 days ago
An Infrastructure of Stream Data Mining, Fusion and Management for Monitored Patients
This paper proposes an infrastructure for data mining, fusion and patient care management using continuous stream data monitored from critically ill patients. Stream data mining, ...
Hyoil Han, Han C. Ryoo, Herbert Patrick