3318 search results - page 48 / 664 » The Weak Instance Model |
125
Voted
SIAMAM
2010
15 years 1 months ago
2010
This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets (codimension-one faces) of their invariant manifolds...
133
Voted
CAD
2004
Springer
15 years 2 months ago
2004
Springer
Despite its usefulness in many applications, the medial axis transform (MAT) is very sensitive to the change of the boundary in the sense that, even if a shape is perturbed only s...
115
Voted
SIGPLAN
2008
15 years 2 months ago
2008
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transa...
157
Voted
GAMESEC
2010
15 years 22 days ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
109
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...