217 search results - page 31 / 44 » On the Fine Structure of Large Search Spaces |
SAS
2009
Springer
16 years 7 days ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
168
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
107
click to vote
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
INTERNET
2010
14 years 10 months ago
2010
We propose a query formulation language, called MashQL for querying and mashing up structured data on the web. The novelty of MashQL is that it does not require...
FOCS
2002
IEEE
15 years 4 months ago
2002
IEEE
We reopen the issue of finding an implicit data structure for the dictionary problem. In particular, we examine the problem of maintaining Ò data values in the first Ò locatio...