2911 search results - page 461 / 583 » A Theory of Expressiveness in Mechanisms |
118
click to vote
LADS
2007
Springer
15 years 7 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
105
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
139
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
115
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...