9067 search results - page 704 / 1814 » Adaptive Model Checking |
202
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
176
click to vote
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
185
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Wireless Internet access is facilitated by IEEE 802.11 WLANs that, in addition to realizing a specific form of CSMA/CA—distributed coordination function (DCF)— implement a ...
198
click to vote
CRYPTO
2004
Springer
16 years 26 days ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
219
click to vote
AAMAS
2002
Springer
15 years 7 months ago
2002
Springer
We control a population of interacting software agents. The agents have a strategy, and receive a payoff for executing that strategy. Unsuccessful agents become extinct. We investi...