1419 search results - page 121 / 284 » Notes on Formalizing Context |
102
Voted
ENTCS
2007
15 years 22 days 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. ...
67
Voted
MONET
2006
15 years 22 days 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 ...
91
Voted
ET
1998
15 years 14 days 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...
113
click to vote
ISOLA
2010
Springer
14 years 11 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...
110
click to vote
ISOLA
2010
Springer
14 years 11 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...