1980 search results - page 255 / 396 » Compositional Model Checking of Real Time Systems |
127
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
160
click to vote
JUCS
2008
15 years 3 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
143
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
124
Voted
CGF
1999
15 years 3 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
137
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—In network measurement systems, packet sampling techniques are usually adopted to reduce the overall amount of data to collect and process. Being based on a subset of packets, t...