563 search results - page 44 / 113 » A Typing Scheme for Behavioural Models |
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
EJC
2008
13 years 10 months ago
2008
In this paper we briefly describe a new conceptual model for XML called XSEM. It is a combination of several approaches in the area. It divides the conceptual modeling process to c...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
Communication networks, such as networks formed by phone calls and email communications, can be modeled as dynamic graphs with vertices representing agents and edges representing ...
ESAW
2006
Springer
14 years 10 days ago
2006
Springer
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ...
APBC
2004
13 years 10 months ago
2004
Boolean models of genetic regulatory networks (GRNs) have been shown to exhibit many of the characteristic dynamics of real GRNs, with gene expression patterns settling to point a...