2659 search results - page 106 / 532 » Do we mean the same |
135
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
139
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
116
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Research in authentication mechanisms has led to the design and development of new schemes. The security provided by these procedures must be reviewed and analyzed before...
145
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
133
Voted
ISAAC
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of dynamically indexing temporal observations about a collection of objects, each observation consisting of a key identifying the object, a list of attribu...