Sciweavers

12551 search results - page 50 / 2511
» Reuse in Systems Engineering
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 7 days ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
ATVA
2009
Springer
116views Hardware» more  ATVA 2009»
14 years 3 months ago
Don't Know for Multi-valued Systems
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
Alarico Campetelli, Alexander Gruler, Martin Leuck...
SAC
2006
ACM
14 years 2 months ago
A framework for (re)deploying components in distributed real-time and embedded systems
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
Nishanth Shankaran, Jaiganesh Balasubramanian, Dou...
SAMOS
2007
Springer
14 years 2 months ago
A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
Max R. de O. Schultz, Alexandre K. I. Mendon&ccedi...
EUROMICRO
2005
IEEE
14 years 2 months ago
QoSOnt: a QoS Ontology for Service-Centric Systems
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
Glen Dobson, Russell Lock, Ian Sommerville