1536 search results - page 182 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICDT
2012
ACM
12 years 16 days ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
EUC
2006
Springer
14 years 1 months ago
2006
Springer
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...
ICFEM
1997
Springer
14 years 1 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
ADBIS
2010
Springer
13 years 11 months ago
2010
Springer
Cardinal directions have turned out to be very important qualitative spatial relations due to their numerous applications in spatial wayfinding, GIS, qualitative spatial reasoning ...
SCP
2002
13 years 9 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...