Sciweavers

3605 search results - page 11 / 721
» Analysis and Applications of the XDI model
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 8 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 2 months ago
Identification of Probability weighted multiple ARX models and its application to behavior analysis
This paper proposes a Probability weighted ARX (PrARX) model wherein the multiple ARX models are composed by the probabilistic weighting functions. As the probabilistic weighting f...
Shun Taguchi, Tatsuya Suzuki, Soichiro Hayakawa, S...
ERSA
2010
182views Hardware» more  ERSA 2010»
14 years 8 months ago
Integrating Application Specification and Performance Prediction for Strategic Design-Space Exploration
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
Brian Holland, Alan D. George, Herman Lam
LICS
2009
IEEE
15 years 5 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
QEST
2007
IEEE
15 years 4 months ago
A Performance Analysis Tool for Scenario-Aware Streaming Applications
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
Bart D. Theelen