6608 search results - page 1030 / 1322 » On the Completeness of Model Checking |
161
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
200
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
For a grid middleware to perform resource allocation, prediction models are needed, which can determine how long an application will take for completion on a particular platform o...
181
click to vote
DIGRA
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
172
click to vote
OOPSLA
2005
Springer
16 years 5 days ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
178
click to vote
WEBDB
2005
Springer
16 years 5 days ago
2005
Springer
Large-scale information integration, and in particular, search on the World Wide Web, is pushing the limits on the combination of structured data and unstructured data. By its ver...