2678 search results - page 430 / 536 » Operational Semantics of Transactions |
117
click to vote
CPAIOR
2004
Springer
15 years 5 months ago
2004
Springer
The graph isomorphism problem consists in deciding if two given graphs have an identical structure. This problem can be modeled as a constraint satisfaction problem in a very strai...
100
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
102
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
KR
2000
Springer
15 years 5 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
104
click to vote
ICLP
1991
Springer
15 years 5 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...