1256 search results - page 18 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
FORTE
2008
13 years 8 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
EDOC
2005
IEEE
14 years 29 days ago
2005
IEEE
FORTE
2004
13 years 8 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
DEDS
2007
13 years 7 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...