2599 search results - page 390 / 520 » An Operational Semantics for Knowledge Bases |
163
click to vote
CALCO
2007
Springer
16 years 1 months 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...
147
Voted
TGC
2007
Springer
16 years 1 months 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 ...
163
Voted
POLICY
2005
Springer
16 years 13 days 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...
247
click to vote
ITRUST
2004
Springer
16 years 10 days 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...
197
click to vote
EDOC
2003
IEEE
16 years 8 days 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...