5451 search results - page 354 / 1091 » Typed Operational Semantics |
129
Voted
EICS
2010
ACM
15 years 10 months ago
2010
ACM
In e-business, creating a common concept set for business integration, interoperation and interaction has to consider the heterogeneity reality of different interpretations from m...
170
click to vote
AAAI
2007
15 years 7 months ago
2007
We have used semantic technologies to design, implement, and deploy an interdisciplinary virtual observatory. The Virtual Solar-Terrestrial Observatory is a production data framew...
161
click to vote
CLIMA
2010
15 years 6 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
163
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
137
click to vote
ENTCS
2006
15 years 5 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...