2225 search results - page 161 / 445 » Logical Structures in the Lexicon |
160
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
155
click to vote
ADBIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
149
click to vote
HPCC
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...
210
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
166
click to vote
PROMAS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....