5451 search results - page 492 / 1091 » Typed Operational Semantics |
139
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
206
click to vote
FROCOS
2009
Springer
15 years 11 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 ...
174
click to vote
ICDCS
2000
IEEE
15 years 11 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...
173
click to vote
CAISE
1999
Springer
15 years 11 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...
176
click to vote
TIME
1997
IEEE
15 years 11 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...