592 search results - page 25 / 119 » CTL Model Update: Semantics, Computations and Implementation |
GI
2004
Springer
14 years 2 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
GC
2004
Springer
14 years 22 days ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
CODES
2010
IEEE
13 years 7 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...