Sciweavers

252 search results - page 15 / 51
» Making Sense of Requirements, Sooner
Sort
View
ASE
2002
137views more  ASE 2002»
14 years 11 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
14 years 10 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»
14 years 6 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»
15 years 5 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»
15 years 5 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