Sciweavers

6775 search results - page 366 / 1355
» Diagnosis of Active Systems
Sort
View
SIGSOFT
2008
ACM
16 years 7 months ago
Experimenting with exception propagation mechanisms in service-oriented architecture
Exception handling is one of the popular means used for improving dependability and supporting recovery in the ServiceOriented Architecture (SOA). This practical experience paper ...
Anatoliy Gorbenko, Alexander Romanovsky, Vyachesla...
CADE
2003
Springer
16 years 7 months ago
Source-Tracking Unification
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
Venkatesh Choppella, Christopher T. Haynes
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
A cognitive schema approach to diagnose intuitiveness: an application to onboard computers
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...
Sandrine Fischer, Makoto Itoh, Toshiyuki Inagaki
DSN
2008
IEEE
16 years 1 months ago
Using likely program invariants to detect hardware errors
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandr...
ICRA
2008
IEEE
119views Robotics» more  ICRA 2008»
16 years 1 months ago
Modeling assembled-MEMS microrobots for wireless magnetic control
— Capitalizing on advances in CMOS and MEMS technologies, microrobots have the potential to dramatically change many aspects of medicine by navigating bodily fluids to perform t...
Zoltán Nagy, Olgaç Ergeneman, Jake J...