Sciweavers

2328 search results - page 302 / 466
» Component Frameworks - A Case Study
Sort
View
CSMR
2000
IEEE
15 years 9 months ago
Towards a Quantitative Assessment of Method Replacement
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...
Rudolf K. Keller, Reinhard Schauer
125
Voted
DATE
2000
IEEE
78views Hardware» more  DATE 2000»
15 years 9 months ago
HW/SW Codesign of an Engine Management System
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
Massimo Baleani, Alberto Ferrari, Alberto L. Sangi...
225
Voted
WMCSA
2000
IEEE
15 years 9 months ago
ARC: A Bottom-Up Approach to Negotiated QoS
Mobile systems operate in a resource-scarce environment and thus must adapt to external conditions; all layers must make cost-based decisions about what mode of operation to use i...
Hylke W. van Dijk, Koen Langendoen, Henk J. Sips
159
Voted
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 9 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
ERSHOV
1999
Springer
15 years 9 months ago
Enhanced Control Flow Graphs in Montages
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...