3710 search results - page 575 / 742 » A new calculus of contexts |
190
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
161
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Expressing the similarity between musical streams is a challenging task as it involves the understanding of many factors which are most often blended into one information channel:...
221
click to vote
SIGCSE
2010
ACM
15 years 6 months ago
2010
ACM
Internationalization of computer science education involves incorporating awareness, knowledge and skills of professional life in a global environment. Through an NSF CPATH grant1...
189
click to vote
ICDCSW
2007
IEEE
15 years 6 months ago
2007
IEEE
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
186
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Telehealth innovations promise to provide extensive medical benefits by increasing access to healthcare services and lowering costs at the same time. However, while many telehealt...