703 search results - page 80 / 141 » Fundamentals of Session Types |
ECIS
2000
14 years 11 months ago
2000
Two different types of development tasks are distinguished: Clear and unclear development tasks. Based on hypotheses from organizational theory two different designs of software d...
BMCBI
2010
14 years 10 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
100
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Current state-of?the-art spoken dialog systems are aimed at handling telephone calls to automate incoming caller requests. In this paper we explore a scenario which is symmetric t...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
For the majority of us, inter-personal communication is an essential part of our daily lives. Instant Messaging, or IM, has been growing in popularity for personal and workrelated...