Sciweavers

2542 search results - page 36 / 509
» An Operational Definition of Context
Sort
View
76
Voted
ER
2007
Springer
80views Database» more  ER 2007»
15 years 6 months ago
From Declarative to Imperative UML/OCL Operation Specifications
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
Jordi Cabot
138
Voted
WOA
2004
15 years 1 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
124
Voted
CN
1999
163views more  CN 1999»
15 years 5 days ago
Operational Semantics for MSC'96
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
Sjouke Mauw, Michel A. Reniers
96
Voted
ICFP
2006
ACM
16 years 14 days ago
Programming monads operationally with Unimo
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
Chuan-Kai Lin
113
Voted
ICIP
2008
IEEE
16 years 2 months ago
Parallel CABAC for low power video coding
With the growing presence of high definition video content on battery-operated handheld devices such as camera phones, digital still cameras, digital camcorders, and personal medi...
Vivienne Sze, Anantha P. Chandrakasan, Madhukar Bu...