3938 search results - page 562 / 788 » Interactive Protocols on the Reals |
295
click to vote
SOCA
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we focus on how Quality of Service guarantees are provided to virtualised applications in the Cloud Computing infrastructure that is being developed in the context of...
208
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Car sharing and car pooling have proven to be an effective solution to reduce the amount of running vehicles by increasing the number of passengers per car amongst medium/big commu...
204
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
216
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
------------------------------------------------------ABSTRACT-------------------------------------------------------Ubiquitous and pervasive computing (UPC) is a popular paradigm ...
309
Voted
MIS
2011
Springer
15 years 1 months ago
2011
Springer
By exchanging events in a vehicular ad hoc network (VANET), drivers can receive information that allows them to find relevant places (e.g., parking spaces) or avoid dangerous/unde...