Sciweavers

3424 search results - page 494 / 685
» Automated Testing of Classes
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 4 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
DEBU
2002
107views more  DEBU 2002»
15 years 4 months ago
Exploiting Web Service Semantics: Taxonomies vs. Ontologies
Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service ne...
Asuman Dogac, Gokce Laleci, Yildiray Kabak, Ibrahi...
IJRR
2002
96views more  IJRR 2002»
15 years 4 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
PRL
2007
100views more  PRL 2007»
15 years 4 months ago
Visible models for interactive pattern recognition
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
Jie Zou, George Nagy
PVLDB
2008
89views more  PVLDB 2008»
15 years 4 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri