2472 search results - page 383 / 495 » Parallel Key Exchange |
165
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
Peridynamics (PD) is a continuum theory that employs a nonlocal model to describe material properties. In this context, nonlocal means that continuum points separated by a finite ...
147
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. An unfolding of a polyhedron is produced by cutting the surface and flattening to a single, connected, planar piece without overlap (except possibly at boundary points). ...
161
click to vote
ENTCS
2006
15 years 6 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
143
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
148
click to vote
ENTCS
2006
15 years 6 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...