2880 search results - page 458 / 576 » context 2007 |
137
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
132
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
147
click to vote
UCS
2007
Springer
15 years 10 months ago
2007
Springer
Emergence of social web services like YouTube[1], Flickr[2] etc. is constantly transforming the way we share our lifestyles with family, friends and colleagues. The significance of...
144
click to vote
UCS
2007
Springer
15 years 10 months ago
2007
Springer
A ubiquitous environment enable us to enjoy various services “anytime” ”anywhere”. However, “everyone” is not realized. We research an intelligent space “everyone” ...
157
click to vote
UCS
2007
Springer
15 years 10 months ago
2007
Springer
Ubiquitous computing environments are highly dynamic by nature. Services provided by different devices can appear and disappear as, for example, devices join and leave these envir...