683 search results - page 38 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
175
click to vote
JELIA
1994
Springer
15 years 8 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
138
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
130
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
169
click to vote
FODO
1998
Springer
15 years 8 months ago
1998
Springer
In object-oriented database systems (OODB) with logical OIDs, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal ...
120
click to vote
FTDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...