3335 search results - page 86 / 667 » Grid result checking |
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Where are all the semantic Web services today? In this paper, we briefly provide the preliminary results of searching the surface Web and the prominent citeseer archive ...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
CSSW
2007
15 years 1 months ago
2007
: Enhancing Wikipedia by means of semantic representations seems to be a promising issue. From a formal or technical point of view there are no major obstacles in the way. Neverthe...
IJCSA
2008
14 years 12 months ago
2008
: Skyline Queries have recently received a lot of attention due to their intuitive query capabilities. Following the concept of Pareto optimality all `best' database objects a...
ACRI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. I argue for the use of a specific type of grid and computational style for computational simulation that utilize emergence to produce results that would resemble physica...