1515 search results - page 94 / 303 » On the relation of aspects and monads |
CONCUR
1991
Springer
14 years 16 days 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....
FLAIRS
2008
13 years 11 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...
ECIS
2001
13 years 10 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...
ICWS
2004
IEEE
13 years 10 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...
ECIS
2000
13 years 10 months ago
2000
: Economic theory and business strategists have pointed at the phenomenon of positive externalities and the related enabling and constraining aspects of an installed base. For inst...