Sciweavers

4476 search results - page 571 / 896
» A flexible framework for engineering
Sort
View
182
Voted
IFIP
1993
Springer
15 years 10 months ago
The Purdue Enterprise Reference Architecture
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...
Theodore J. Williams
IUI
1993
ACM
15 years 10 months ago
Knowledgeable development environments using shared design models
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
Robert Neches, James D. Foley, Pedro A. Szekely, P...
FOSSACS
2009
Springer
15 years 10 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
APSEC
2004
IEEE
15 years 10 months ago
Partitioning of Java Applications to Support Dynamic Updates
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
Robert Pawel Bialek, Eric Jul, Jean-Guy Schneider,...
AMAST
2006
Springer
15 years 10 months ago
Realizability Criteria for Compositional MSC
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
Arjan J. Mooij, Judi Romijn, Wieger Wesselink