1864 search results - page 99 / 373 » Formal topology and domains |
151
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
170
click to vote
ASP
2001
Springer
15 years 10 months ago
2001
Springer
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
168
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Accessing structured data such as that encoded in ontologies and knowledge bases can be done using either syntactically complex formal query languages like SPARQL or complicated fo...
115
click to vote
COLING
1994
15 years 7 months ago
1994
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their ...
179
click to vote
INFOCOM
2007
IEEE
16 years 20 days ago
2007
IEEE
—P2P (peer-to-peer) technology has proved itself an efficient and cost-effective solution to support large-scale multimedia streaming. Different from traditional P2P application...