Sciweavers

1707 search results - page 147 / 342
» On the Design of Agent-Based Systems using UML and Extension...
Sort
View
SIGMOD
2007
ACM
111views Database» more  SIGMOD 2007»
16 years 6 months ago
Query relaxation using malleable schemas
In contrast to classical databases and IR systems, real-world information systems have to deal increasingly with very vague and diverse structures for information management and s...
Xuan Zhou, Julien Gaugaz, Wolf-Tilo Balke, Wolfgan...
TC
2010
15 years 4 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
16 years 1 days ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 11 hour ago
Genetic Optimization and Simulation of a Piezoelectric Pipe-Crawling Inspection Robot
- Using the Darwin2k development software, a genetic algorithm (GA) was used to design and optimize a pipecrawling robot for parameters such as mass, power consumption, and joint e...
Geoffrey Hollinger, Jeri Briscoe
WSNA
2003
ACM
15 years 11 months ago
MANTIS: system support for multimodAl NeTworks of in-situ sensors
The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors provides a new multithreaded embedded operating system integrated with a general-purpose single-board hardwar...
Hector Abrach, Shah Bhatti, James Carlson, Hui Dai...