819 search results - page 113 / 164 » Using Assumptions to Distribute CTL Model Checking |
107
Voted
PAMI
2008
15 years 17 days ago
2008
In this paper, we present a general guideline to find a better distance measure for similarity estimation based on statistical analysis of distribution models and distance function...
128
Voted
HIPC
2007
Springer
15 years 4 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
125
click to vote
PODS
2008
ACM
16 years 22 days ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
88
Voted
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...