286 search results - page 51 / 58 » A calculus of atomic actions |
CIDR
2009
13 years 8 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
AINA
2007
IEEE
13 years 7 months ago
2007
IEEE
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
CCR
2010
13 years 7 months ago
2010
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...
CN
2006
13 years 7 months ago
2006
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
SIAMMA
2010
13 years 2 months ago
2010
We consider infinite FPU-type atomic chains with general convex potentials and study the existence of monotone fronts that are heteroclinic travelling waves connecting constant asy...