3954 search results - page 709 / 791 » Image-based Model Completion |
135
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
139
click to vote
SIGECOM
2005
ACM
15 years 7 months ago
2005
ACM
We introduce a new class of games, congestion games with failures (CGFs), which extends the class of congestion games to allow for facility failures. In a basic CGF (BCGF) agents ...
113
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...
121
click to vote
CRYPTO
2005
Springer
15 years 7 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
116
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...