Sciweavers

3271 search results - page 263 / 655
» Controlled Multicast Framework
Sort
View
146
Voted
CSLP
2004
Springer
15 years 10 months ago
Metagrammar Redux
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
Benoît Crabbé, Denys Duchier
131
Voted
CSMR
2009
IEEE
15 years 9 months ago
A Tool for Enterprise Architecture Analysis of Maintainability
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
Mathias Ekstedt, Ulrik Franke, Pontus Johnson, Rob...
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
15 years 9 months ago
Constraint Based Strategies
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
Claude Kirchner, Florent Kirchner, Hél&egra...
HASE
1997
IEEE
15 years 9 months ago
Verifying Fault-Tolerant Behavior of State Machines
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
Mario Dal Cin
HYBRID
2010
Springer
15 years 3 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...