Sciweavers

5961 search results - page 963 / 1193
» Design Science and Software Engineering
Sort
View
133
Voted
ISORC
2006
IEEE
15 years 9 months ago
Diagnostic Framework for Integrated Time-Triggered Architectures
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
Philipp Peti, Roman Obermaisser
110
Voted
ISSTA
2006
ACM
15 years 9 months ago
Towards self-adaptive service-oriented architectures
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
Giovanni Denaro, Mauro Pezzè, Davide Tosi, ...
107
Voted
ML
2006
ACM
122views Machine Learning» more  ML 2006»
15 years 9 months ago
Type-safe modular hash-consing
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
Jean-Christophe Filliâtre, Sylvain Conchon
145
Voted
SACMAT
2006
ACM
15 years 9 months ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen
110
Voted
UIST
2006
ACM
15 years 9 months ago
WindowScape: a task oriented window manager
We propose WindowScape, a window manager that uses a photograph metaphor for lightweight, post hoc task management. This is the first task management windowing model to provide in...
Craig S. Tashman