821 search results - page 65 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
CAD
2006
Springer
14 years 12 months ago
2006
Springer
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
124
click to vote
CSFW
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
FM
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
SMI
2006
IEEE
15 years 5 months ago
2006
IEEE
Most real world objects consist of non-uniform materials; as a result, during deformation the bending and shearing are distributed non-uniformly and depend on the local stiffness ...