1524 search results - page 194 / 305 » Operational Semantics of Hybrid Systems |
109
click to vote
FROCOS
2009
Springer
15 years 2 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
ICDCS
2000
IEEE
15 years 2 months ago
2000
IEEE
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
PGLDB
2003
14 years 11 months ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
DLOG
1997
14 years 11 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...