2203 search results - page 137 / 441 » Temporal Abstract Interpretation |
163
Voted
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider the representation and execution of agents speciļ¬ed using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
147
Voted
ER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oļ...
111
Voted
MABS
2000
Springer
15 years 7 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
144
Voted
FUIN
2007
15 years 3 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
129
Voted
JANCL
2007
15 years 3 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...