224 search results - page 19 / 45 » A Formal Treatment of Context-Awareness |
TYPES
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
83
Voted
WWW
2003
ACM
16 years 13 days ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
125
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
118
click to vote
KI
2005
Springer
15 years 5 months ago
2005
Springer
This paper reports further progress into a computational implementation of a new formalism for construction grammar, known as Fluid Construction Grammar (FCG). We focus in particu...
SFM
2004
Springer
15 years 5 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...