Sciweavers

1613 search results - page 142 / 323
» Model-Driven Constraint Engineering
Sort
View
215
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
The Architecture of a Dynamically Updatable, Component-Based System
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
Robert Pawel Bialek
160
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
Process Support and Knowledge Management for Virtual Teams Doing Agile Software Development
Agile practices are arguably improving the productivity of small, co-located software development teams. In this paper, we describe an approach that tries to overcome the constrai...
Seth Bowen, Frank Maurer
136
Voted
IPPS
2002
IEEE
15 years 8 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
CODES
2000
IEEE
15 years 8 months ago
Fast performance prediction for periodic task systems
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
Xiaobo Sharon Hu, Gang Quan
129
Voted
CODES
2000
IEEE
15 years 8 months ago
Linking codesign and reuse in embedded systems design
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
Matthias Meerwein, C. Baumgartner, W. Glauert