Sciweavers

15778 search results - page 149 / 3156
» Aikido and software engineering
Sort
View
EUROSYS
2007
ACM
15 years 11 months ago
JIT instrumentation: a novel approach to dynamically instrument operating systems
Marek Olszewski, Keir Mierle, Adam Czajkowski, Ang...
EUROSYS
2007
ACM
15 years 11 months ago
Mobile-process-based ubiquitous computing platform: a blueprint
Holger Schmidt, Rüdiger Kapitza, Franz J. Hau...
156
Voted
FSTTCS
2007
Springer
15 years 11 months ago
Reconstructing Convex Polygons and Polyhedra from Edge and Face Counts in Orthogonal Projections
Therese C. Biedl, Masud Hasan, Alejandro Ló...
ICFEM
2007
Springer
15 years 10 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
138
Voted
ADAEUROPE
2006
Springer
15 years 10 months ago
A Systematic Approach to Developing Safe Tele-operated Robots
Diego Alonso, Pedro Sánchez, Bárbara...