840 search results - page 33 / 168 » A low-complexity issue logic |
82
Voted
JCIT
2010
14 years 7 months ago
2010
An important and fundamental issue in designing structured peer-to-peer networks is the tradeoff between the number of logical links and the number of hops. We present a flexible ...
77
Voted
ER
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
84
Voted
ELPUB
2006
ACM
15 years 6 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
104
Voted
TCS
2002
15 years 3 days ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
100
click to vote
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...