9210 search results - page 1829 / 1842 » Analyzing Real-Time Systems |
119
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
117
click to vote
PVLDB
2010
14 years 11 months ago
2010
Microsoft SQL Server spatial libraries contain several components that handle geometrical and geographical data types. With advances in geo-sensing technologies, there has been an...
103
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
135
Voted
TCOM
2010
14 years 11 months ago
2010
Bidirectional relaying is a promising approach to improve the performance in wireless networks such as sensor, ad-hoc, and even cellular systems. Bidirectional relaying applies to...
110
Voted
TIFS
2010
14 years 11 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...