22560 search results - page 4508 / 4512 » Development of Transportation Systems |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
TEI
2012
ACM
12 years 3 months ago
2012
ACM
Recent technological advances in input sensing, as well as ultra-small projectors, have opened up new opportunities for interaction – the use of the body itself as both an input...
WSDM
2012
ACM
12 years 3 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
The Internet was designed to always find a route if there is a policycompliant path. However, in many cases, connectivity is disrupted despite the existence of an underlying vali...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...