2106 search results - page 398 / 422 » Operational Semantics for MSC'96 |
118
click to vote
KI
2006
Springer
15 years 1 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
95
Voted
FUIN
2007
15 years 1 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
95
Voted
SIGOPS
2008
15 years 1 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
99
Voted
IJIPT
2007
15 years 1 months ago
2007
Many scenarios of beyond 3G mobile communications describe the integration of various access technologies into one system. Being always best connected under certain optimization c...
96
Voted
STTT
2008
15 years 1 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...