285 search results - page 38 / 57 » Game Semantics and Subtyping |
146
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
105
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present a novel approach towards customized and automated generation of sports highlights from its extracted events and semantic concepts. A recorded sports vide...
205
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...
209
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
MFPS
1989
15 years 7 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...