507 search results - page 97 / 102 » Automating first-order relational logic |
132
click to vote
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
150
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
118
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
130
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
132
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...