1587 search results - page 174 / 318 » The Semantics of Extended SOFL |
CONEXT
2008
ACM
13 years 11 months ago
2008
ACM
Recursive temporal (RT) namespaces extend spatial namespaces such as IP with the notion of a nested time interval. RT namespace is an architectural approach to dealing with the un...
FMSB
2008
13 years 10 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
IWRT
2008
13 years 10 months ago
2008
This paper presents an extended framework supported by a suitable dissemination protocol to enable ubiquitous Knowledge Bases (u-KBs) in pervasive RFID environments. A u-KB is a di...
DATESO
2004
13 years 10 months ago
2004
Discovering the complex relationships between entities is one way of benefitting from the Semantic Web. This paper discusses new approaches to implementing -operators into RDF quer...
IWFM
2003
13 years 10 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...