1664 search results - page 114 / 333 » Towards Partial Reasoning |
ERCIMDL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
147
Voted
MDAFA
2004
Springer
15 years 6 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
118
click to vote
PPSWR
2004
Springer
15 years 6 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...
133
Voted
SEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
108
Voted
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...