Sciweavers

278 search results - page 8 / 56
» Endoscopic Orientation Correction
Sort
View
LOPSTR
2007
Springer
14 years 1 months ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...
JOT
2007
96views more  JOT 2007»
13 years 7 months ago
Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver
One of the fundamental issues in Aspect-Oriented approaches is aspect-to-aspect interference, which occurs when multiple aspects are deployed jointly such that different compositi...
Jing Zhang, Thomas Cottenier, Aswin van den Berg, ...
EMSOFT
2003
Springer
14 years 28 days ago
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
Janosch Fauster, Raimund Kirner, Peter P. Puschner
FAABS
2004
Springer
14 years 1 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
ICMCS
2009
IEEE
158views Multimedia» more  ICMCS 2009»
13 years 5 months ago
View management of annotations for wearable augmented reality
In annotation overlay applications using augmented reality (AR), view management is widely used for improving readability and intelligibility of the annotations. In order to recog...
Koji Makita, Masayuki Kanbara, Naokazu Yokoya