Sciweavers

466 search results - page 68 / 94
» An Approach to Self-adaptive Software Based on Supervisory C...
Sort
View
NIME
2005
Springer
132views Music» more  NIME 2005»
14 years 27 days ago
"iltur" - Connecting Novices and Experts Through Collaborative Improvisation
The iltur system features a novel method of interaction between expert and novice musicians through a set of musical controllers called Beatbugs. Beatbug players can record live m...
Gil Weinberg, Scott Driscoll
CAV
2007
Springer
111views Hardware» more  CAV 2007»
13 years 11 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
13 years 6 months ago
Cooperative caging using autonomous aquatic surface vehicles
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...
Filippo Arrichiello, Hordur Kristinn Heidarsson, S...
DRM
2003
Springer
14 years 19 days ago
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
Susanne Guth, Gustaf Neumann, Mark Strembeck
CODES
2008
IEEE
14 years 1 months ago
Static analysis of processor stall cycle aggregation
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
Jongeun Lee, Aviral Shrivastava