603 search results - page 20 / 121 » A Formal Operational Semantics for SOFL |
228
click to vote
WISE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
149
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
157
click to vote
DOOD
1995
Springer
15 years 9 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
159
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
169
click to vote
COORDINATION
2006
Springer
15 years 9 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...