4231 search results - page 816 / 847 » Using Language More Responsibly |
130
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...
112
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
As Web services proliferate, size and magnitude of UDDI Business Registries (UBRs) are likely to increase. The ability to discover Web services of interest then across multiple UB...
114
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Despite its widespread use, voicemail presents numerous usability challenges: People must listen to messages in their entirety, they cannot search by keywords, and audio files do ...
137
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...