1382 search results - page 14 / 277 » Formal Analysis of Online Algorithms |
126
Voted
WDAG
2007
Springer
15 years 11 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
148
Voted
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
157
click to vote
AAAI
2010
15 years 6 months ago
2010
Multi-Agent Plan Recognition (MAPR) seeks to identify the dynamic team structures and team behaviors from the observations of the activity-sequences of a set of intelligent agents...
111
click to vote
ET
2007
15 years 5 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
128
Voted
CCS
2009
ACM
16 years 4 days ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...