3082 search results - page 288 / 617 » Deviation Analysis: A New Use of Model Checking |
174
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
185
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
157
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A number of methods that use both protein structural and evolutionary information are available to predict the functional consequences of missense mutations. However, ...
181
click to vote
EOR
2008
15 years 6 months ago
2008
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
221
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...