1083 search results - page 181 / 217 » On the Use of Behavioural Equivalences for Web Services' Dev... |
MM
2010
ACM
13 years 8 months ago
2010
ACM
This paper addresses the design and development of MediaPick [1], an interactive multi-touch system for semantic search of multimedia contents. Our solution provides an intuitive,...
DLOG
2006
13 years 10 months ago
2006
Highly optimized reasoning support for Description Logics (DLs) has been developed during the past years. This paper presents our efforts to develop a reasoner suitable for mobile ...
EDOC
2008
IEEE
14 years 3 months ago
2008
IEEE
: “Web 2.0” and “cloud computing” are revolutionizing the way IT infrastructure is accessed and managed. Web 2.0 technologies such as blogs, wikis and social networking pla...
IANDC
2006
13 years 8 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
DSRT
2006
IEEE
14 years 2 months ago
2006
IEEE
The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...