7452 search results - page 1181 / 1491 » A Semantics for Multiprocessor Systems |
161
Voted
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
167
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
200
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
159
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
173
click to vote
ITS
2010
Springer
15 years 8 months ago
2010
Springer
General-purpose ontologies (e.g. WordNet) are convenient, but they are not always scientifically valid. We draw on techniques from semantic class learning to improve the scientific...