1419 search results - page 121 / 284 » Notes on Formalizing Context |
120
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
93
Voted
MONET
2006
15 years 3 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
115
click to vote
ET
1998
15 years 3 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
138
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
131
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...