2599 search results - page 390 / 520 » An Operational Semantics for Knowledge Bases |
148
click to vote
CALCO
2007
Springer
16 years 18 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
138
click to vote
TGC
2007
Springer
16 years 16 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
151
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
232
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
178
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...