Sciweavers

1963 search results - page 338 / 393
» Function Materialization in Object Bases
Sort
View
MDAFA
2004
Springer
124views Hardware» more  MDAFA 2004»
15 years 5 months ago
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...
Ivan Kurtev, Klaas van den Berg
SPIN
2004
Springer
15 years 5 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
88
Voted
VISUALIZATION
2003
IEEE
15 years 5 months ago
Visualization, Optimization, and Business Strategy: A Case Study
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...
Donna L. Gresh, Eugene I. Kelton
IUI
2003
ACM
15 years 5 months ago
Scripting embodied agents behaviour with CML: character markup language
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
Yasmine Arafa, E. H. Mamdani
CP
2003
Springer
15 years 5 months ago
Generating High Quality Schedules for a Spacecraft Memory Downlink Problem
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
Angelo Oddi, Nicola Policella, Amedeo Cesta, Gabri...