338 search results - page 42 / 68 » Locally checkable proofs |
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
— We report on a system designed for the magnetic control of nanoparticles and nanorods. This is accomplished by arrays of current-carrying wires (electromagnets) and the associa...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
The most apparent proof of changes in the public sector because of modern information and communication technologies are electronic services like general onlineinformation procure...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...