1700 search results - page 50 / 340 » Specifying and implementing refactorings |
198
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
110
click to vote
OPODIS
2010
14 years 9 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
ECIS
2003
15 years 1 months ago
2003
Many governments have shown leadership in encouraging their citizenry to conduct transactions on-line. The policies that underpin these initiatives refer to a blend of civic benef...
106
click to vote
GEOINFORMATICA
2008
14 years 12 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
116
click to vote
DAC
2008
ACM
16 years 24 days ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...