434 search results - page 68 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
MINAR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Video has become an essential component of multimedia applications nowadays. To support multimedia and video applications efciently, video objects must be modeled and str...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
108
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
JFP
2010
14 years 8 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...