288 search results - page 55 / 58 » The Denotational Semantics of slotted-Circus |
ICDE
2005
IEEE
14 years 8 months ago
2005
IEEE
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
QEST
2008
IEEE
14 years 1 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Various error control schemes have been addressed in wireless video stream transmission. By combining an adaptive binary arithmetic coding technique with context modeling, CABAC a...
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
Abstract. We propose a new join point model for aspect-oriented programming (AOP) languages. In most AOP languages including AspectJ, a join point is a time interval of an action i...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
Site maps are frequently provided on Web sites as a navigation support for Web users. The automatic generation of site maps is a complex task since the structure of the data, sema...