2989 search results - page 183 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
116
Voted
TKDE
2012
13 years 16 days ago
2012
— We study the problem of assigning subscribers to brokers in a wide-area content-based publish/subscribe system. A good assignment should consider both subscriber interests in t...
AAAI
2006
14 years 11 months ago
2006
This paper is concerned with the problem of structured data extraction from Web pages. The objective of the research is to automatically segment data records in a page, extract da...
93
Voted
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
74
Voted
SACMAT
2010
ACM
14 years 10 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...