33 search results - page 1 / 7 » Measuring and Synthesizing Systems in Probabilistic Environm... |
CAV
2010
Springer
13 years 7 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
ACSAC
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation verifies a methodology pre...
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
EDBT
2008
ACM
14 years 4 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
ICOM
2011
12 years 7 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...