4052 search results - page 456 / 811 » integration 2007 |
195
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Despite the efforts devoted so far, the Semantic Web vision appears to be an eluding target. We propose a paradigm shift for the Semantic Web centred around the pragmatics of deve...
195
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
196
click to vote
TYPES
2007
Springer
16 years 1 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
234
click to vote
UIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
174
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...