1521 search results - page 207 / 305 » On Sampled Semantics of Timed Systems |
109
click to vote
AAAI
2007
15 years 8 days ago
2007
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
CL
2002
Springer
14 years 9 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
ADBIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
WSC
2004
14 years 11 months ago
2004
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...
WSC
1998
14 years 11 months ago
1998
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...