1541 search results - page 291 / 309 » Tools and Techniques for Model Checking Networked Programs |
100
click to vote
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Researchers have sought a better understanding of creativity for more than a century and the resulting investigations have shed a great deal of light on the subject of creativity....
181
click to vote
SOCA
2010
IEEE
14 years 10 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...
85
Voted
IAT
2003
IEEE
15 years 5 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
101
Voted
CHI
1993
ACM
15 years 4 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
NSDI
2010
15 years 1 months ago
2010
: Making cloud services responsive is critical to providing a compelling user experience. Many largescale sites, including LinkedIn, Digg and Facebook, address this need by deployi...