6608 search results - page 1237 / 1322 » On the Completeness of Model Checking |
129
click to vote
CHI
2001
ACM
16 years 4 months ago
2001
ACM
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
194
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
128
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
The advent of XML as a universal exchange format, and of Web services as a basis for distributed computing, has fostered the apparition of a new class of documents: dynamic XML do...
148
click to vote
SPAA
2009
ACM
16 years 27 days ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
106
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— BitTorrent is a typical peer-to-peer (P2P) file distribution application that has gained tremendous popularity in recent years. A considerable amount of research exists...