6020 search results - page 79 / 1204 » A New Approach to Model Counting |
119
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
We consider the fundamental problem of waking up n processors sharing a multiple access channel. We assume the weakest model of synchronization, the locally synchronous model, in ...
144
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
105
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose a new model for zooming digital image. This model, driven by a partial differential equation, will balance between linear zooming on homogenous zones to anisotropic dif...
133
Voted
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
147
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...