Sciweavers

336 search results - page 30 / 68
» Using AOP to develop architectural-neutral operating system ...
Sort
View
IDEAS
2010
IEEE
238views Database» more  IDEAS 2010»
13 years 6 months ago
An integrative approach to query optimization in native XML database management systems
Even though an effective cost-based query optimizer is of utmost importance for the efficient evaluation of XQuery expressions in native XML database systems, such a component is...
Andreas M. Weiner, Theo Härder
DEPCOS
2008
IEEE
180views Hardware» more  DEPCOS 2008»
14 years 2 months ago
A Resilient SIL 2 Driver Machine Interface for Train Control Systems
In railway train-borne equipment, the Driver Machine Interface (DMI) acts like a bridge between the train driver and the onboard automatic train control system (European Vital Com...
Andrea Ceccarelli, István Majzik, Danilo Io...
ICSE
2003
IEEE-ACM
14 years 8 months ago
Using Process Technology to Control and Coordinate Software Adaptation
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
Giuseppe Valetto, Gail E. Kaiser
IROS
2008
IEEE
100views Robotics» more  IROS 2008»
14 years 2 months ago
Overcoming sensor noise for low-tolerance autonomous assembly
Abstract— The capability to assemble structures is fundamental to the use of robotics in precursor missions in orbit and on planetary surfaces. We have performed autonomous assem...
Brennan Sellner, Frederik W. Heger, Laura M. Hiatt...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 1 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...