434 search results - page 26 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
JOT
2008
14 years 9 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
CSL
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we study the weighted sum rate maximization of multicell cellular cognitive radio networks (CRNs) which are overlaid with multicell primary radio networks (PRNs)...
TOPNOC
2008
14 years 9 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...