1205 search results - page 119 / 241 » Program Extraction from Large Proof Developments |
154
click to vote
ISESE
2003
IEEE
15 years 6 months ago
2003
IEEE
A software development project coordinates work by using work items that represent customer, tester, and developer found defects, enhancements, and new features. We set out to fac...
244
click to vote
POPL
2001
ACM
16 years 1 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
124
click to vote
CHI
1996
ACM
15 years 5 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
150
click to vote
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
112
click to vote
EHCI
2004
15 years 2 months ago
2004
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...