1724 search results - page 324 / 345 » Types as models: model checking message-passing programs |
130
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...
122
click to vote
JGO
2010
15 years 1 months ago
2010
Both optimization and learning play important roles in a system for intelligent tasks. On one hand, we introduce three types of optimization tasks studied in the machine learning l...
153
click to vote
JAIR
2011
14 years 5 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
114
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
128
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
XML Schema has emerged as a promising data model that unites structured and unstructured content. The Oracle database has led the commercial database community in integrating supp...