17054 search results - page 28 / 3411 » Logics of Dynamical Systems |
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
AAAI
1996
13 years 11 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
E4MAS
2004
Springer
14 years 3 months ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
IEEECIT
2006
IEEE
14 years 3 months ago
2006
IEEE
Data grid is a kind of wide-area, distributed storage system. It can provide huge storage capacity. There are millions of files in data grid, distributed on hundreds of geographi...