1438 search results - page 97 / 288 » Relational aspects as tracematches |
146
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
157
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
155
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...
164
click to vote
ECIS
2001
15 years 7 months ago
2001
The goal of this research was to develop a model of architecture for a virtual one-stop public administration. The first part of our work was to collect data during a six-month su...
147
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...