10462 search results - page 267 / 2093 » Towards a |
210
click to vote
SOCO
2007
Springer
16 years 22 days ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
170
click to vote
SPIN
2007
Springer
16 years 22 days 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...
180
click to vote
STORYTELLING
2007
Springer
16 years 22 days ago
2007
Springer
Virtual agents, to be expressive, not only need algorithms for displaying the subtleties of human behaviour, but also require environments and tools so that people can author them....
172
click to vote
TGC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
168
click to vote
TMRA
2007
Springer
16 years 22 days ago
2007
Springer
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...