5818 search results - page 881 / 1164 » A reasonable Semantic Web |
206
click to vote
FMCO
2007
Springer
16 years 28 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
188
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
203
click to vote
ICAC
2006
IEEE
16 years 24 days ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
167
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
139
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...