603 search results - page 44 / 121 » A Formal Operational Semantics for SOFL |
158
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
217
Voted
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
126
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
167
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Typical ontology matching applications, such as ontology integration, focus on the computation of correspondences holding between the nodes of two graph-like structures, ...
141
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...