2500 search results - page 250 / 500 » Specifying Behavior in C |
141
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Little research exists on one of the most common, oldest, and most utilized forms of online social geographic information: the “location” field found in most virtual community...
161
click to vote
POPL
2012
ACM
14 years 17 hour 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...
172
click to vote
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
149
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
134
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...