671 search results - page 1 / 135 » On Observing and Constraining Active Systems |
ESAW
2000
Springer
13 years 8 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
CINQ
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
AUTOMATICA
2007
13 years 4 months ago
2007
In this paper active mode observability is addressed for a class of discrete-time linear systems that may switch in an unknown and unpredictable way among different modes taken f...
WOA
2000
13 years 6 months ago
2000
The consistency issues have been well studied in term of methodologies and technologies for the most popular interaction paradigm, namely the client-server. In the agent's wo...
FUIN
2007
13 years 4 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...