Sciweavers

331 search results - page 42 / 67
» Using Redundant Constraints for Refinement
Sort
View
GLOBECOM
2010
IEEE
13 years 5 months ago
Peer-to-Peer Storage Systems: A Practical Guideline to be Lazy
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...
Frédéric Giroire, Julian Monteiro, S...
ICSE
2003
IEEE-ACM
14 years 7 months ago
Integration of Usability Techniques into the Software Development Process
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...
Xavier Ferré
ICRA
1998
IEEE
91views Robotics» more  ICRA 1998»
13 years 12 months ago
Multi-Resolution Planning for Earthmoving
We suggest that planning for automated earthmoving operations such as digging a foundation or leveling a mound of soil, be treated at multiple levels. In a system that we have dev...
Sanjiv Singh, Howard Cannon
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
13 years 12 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
ESWS
2008
Springer
13 years 9 months ago
Learning Highly Structured Semantic Repositories from Relational Databases:
Abstract. Relational databases are valuable sources for ontology learning. Methods and tools have been proposed to generate ontologies from such structured input. However, a major ...
Farid Cerbah