Sciweavers

1534 search results - page 168 / 307
» Error Reporting Logic
Sort
View
CLUSTER
2006
IEEE
15 years 10 months ago
Autonomic Management of Clustered Applications
Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with proprietary management interfaces. Moreover, th...
Sara Bouchenak, Noel De Palma, Daniel Hagimont, Ch...
ICRA
2006
IEEE
88views Robotics» more  ICRA 2006»
15 years 10 months ago
Real-time 3D Ultrasound-based Servoing of a Surgical Instrument
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...
Jeffrey A. Stoll, Paul M. Novotny, Robert D. Howe,...
WOWMOM
2006
ACM
156views Multimedia» more  WOWMOM 2006»
15 years 10 months ago
802.11b/g Link Level Measurements for an Outdoor Wireless Campus Network
Outdoor WLAN communication is envisioning an increasing interest, due to the massive emergence and deployment of outdoor wireless Mesh Networks. This paper provides a report on an...
Giuseppe Bianchi, Fabrizio Formisano, Domenico Giu...
AOSE
2005
Springer
15 years 9 months ago
Aspects in Agent-Oriented Software Engineering: Lessons Learned
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
Alessandro F. Garcia, Uirá Kulesza, Cl&aacu...
SPIN
2005
Springer
15 years 9 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones