Sciweavers

1675 search results - page 79 / 335
» Compositional Model-Based Design
Sort
View
ICDCS
1998
IEEE
14 years 1 months ago
A Language for Specifying the Composition of Reliable Distributed Applications
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
Frédéric Ranno, Santosh K. Shrivasta...
KBSE
1998
IEEE
14 years 1 months ago
Automating UI Generation by Model Composition
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
Kurt Stirewalt, Spencer Rugaber
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 1 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
IDA
2009
Springer
13 years 7 months ago
Ontology-Driven KDD Process Composition
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
Claudia Diamantini, Domenico Potena, Emanuele Stor...
ICASSP
2011
IEEE
13 years 1 months ago
Robust parametrization for non-destructive evaluation of composites using ultrasonic signals
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
Nicolas Bochud, Angel M. Gomez, Guillermo Rus, Jos...