Sciweavers

252 search results - page 15 / 51
» Making Sense of Requirements, Sooner
Sort
View
ASE
2002
137views more  ASE 2002»
13 years 9 months ago
The DSD Schema Language
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
Nils Klarlund, Anders Møller, Michael I. Sc...
ICLP
2010
Springer
13 years 8 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma
SIGOPS
2010
113views more  SIGOPS 2010»
13 years 4 months ago
Energy proportionality for storage: impact and feasibility
This paper highlights the growing importance of storage energy consumption in a typical data center, and asserts that storage energy research should drive towards a vision of ener...
Jorge Guerra, Wendy Belluomini, Joseph S. Glider, ...
ICRA
2006
IEEE
114views Robotics» more  ICRA 2006»
14 years 3 months ago
Simultaneous Pose and Velocity Measurement by Vision for High-speed Robots
— This paper proposes an original and novel vision sensing method to be used in vision-based dynamic identification of parallel robots. Indeed, it is shown that in the latter pr...
Omar Ait-Aider, Nicolas Andreff, Philippe Martinet...
ICW
2005
IEEE
143views Communications» more  ICW 2005»
14 years 3 months ago
Distributed Mobility Control for Fault-Tolerant Mobile Networks
Large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be foreseeable in the near future. Since nodes in such a system commun...
Jie Lin