9974 search results - page 1359 / 1995 » Software Interconnection Models |
289
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
200
click to vote
USAB
2010
15 years 5 months ago
2010
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
174
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
324
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The concept of Cloud Computing is by now at the peak of public attention and adoption. Driven by several economic and technological enablers, Cloud Computing is going to ...
188
click to vote
COMPSEC
2010
15 years 4 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...