Sciweavers

3429 search results - page 191 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
121
Voted
CONCUR
2006
Springer
15 years 6 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 8 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
128
Voted
FLAIRS
2008
15 years 3 months ago
A Hybrid Machine Translation System for Typologically Related Languages
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
Petr Homola, Vladislav Kubon
135
Voted
CCR
2010
131views more  CCR 2010»
15 years 2 months ago
DECOR: DEClarative network management and OpeRation
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...
111
Voted
SIGCOMM
2009
ACM
15 years 9 months ago
DECOR: DEClaritive network management and OpeRation
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...