Sciweavers

7580 search results - page 1006 / 1516
» Prometheus design tool
Sort
View
EWCBR
2004
Springer
16 years 8 days ago
PlayMaker: An Application of Case-Based Reasoning to Air Traffic Control Plays
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
Kenneth R. Allendoerfer, Rosina Weber
JIT
2004
Springer
134views Database» more  JIT 2004»
16 years 7 days ago
Reconciling Feature Modeling: A Feature Modeling Metamodel
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
Valentino Vranic
LCTRTS
2004
Springer
16 years 7 days ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
MKM
2004
Springer
16 years 7 days ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
16 years 7 days ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson
« Prev « First page 1006 / 1516 Last » Next »