1927 search results - page 151 / 386 » Modeling the Evolution of Objects in Temporal Information Sy... |
IJSWIS
2008
13 years 9 months ago
2008
The last few years have seen the emergence of two parallel trends: the first of such trends is set by technologies such as Near Field Communication, 2D Bar codes and RFID that supp...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
OOPSLA
1992
Springer
14 years 1 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
DKE
2007
13 years 9 months ago
2007
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
AROBOTS
2008
13 years 9 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...