357 search results - page 24 / 72 » Toward a Theory of Behavioral Operations |
137
click to vote
TMC
2012
13 years 4 months ago
2012
Abstract—In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have proposed the use of store-carryand-forward protocols: a node there may store a messa...
158
click to vote
ICLA
2011
Springer
14 years 5 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
128
click to vote
PPSWR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
109
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
137
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...