Sciweavers

2516 search results - page 285 / 504
» Integrity Constraints for XML
Sort
View
WWW
2007
ACM
16 years 7 months ago
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
Boris Motik, Ian Horrocks, Ulrike Sattler
DAC
2009
ACM
16 years 1 months ago
Yield-driven iterative robust circuit optimization algorithm
This paper proposes an equation-based multi-scenario iterative robust optimization methodology for analog/mixed-signal circuits. We show that due to local circuit performance mono...
Yan Li, Vladimir Stojanovic
RTCSA
2008
IEEE
16 years 26 days ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
RTSS
2008
IEEE
16 years 26 days ago
Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems
Integrating COTS components in critical real-time systems is challenging. In particular, we show that the interference between cache activity and I/O traffic generated by COTS pe...
Rodolfo Pellizzoni, Bach Duy Bui, Marco Caccamo, L...
IROS
2007
IEEE
140views Robotics» more  IROS 2007»
16 years 24 days ago
IMU-based localization and slip estimation for skid-steered mobile robots
Abstract— Localization and wheel slip estimation of a skidsteered mobile robot is challenging because of the complex wheel/ground interactions and kinematics constraints. In this...
Jingang Yi, Junjie Zhang, Dezhen Song, Suhada Jaya...