728 search results - page 23 / 146 » A Logical View of Choreography |
162
click to vote
FUIN
2006
15 years 5 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
140
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
163
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
147
click to vote
ISM
2006
IEEE
15 years 11 months ago
2006
IEEE
We first present the tele-immersive environments developed jointly by University of Illinois at Urbana-Champaign and University of California at Berkeley. The environment feature...
135
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...