Sciweavers

16541 search results - page 429 / 3309
» Ontologies and Software Engineering
Sort
View
EUROSYS
2007
ACM
15 years 10 months ago
JIT instrumentation: a novel approach to dynamically instrument operating systems
Marek Olszewski, Keir Mierle, Adam Czajkowski, Ang...
EUROSYS
2007
ACM
15 years 10 months ago
Mobile-process-based ubiquitous computing platform: a blueprint
Holger Schmidt, Rüdiger Kapitza, Franz J. Hau...
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...