1443 search results - page 217 / 289 » Aging Users are Still Users |
144
click to vote
PLDI
1992
ACM
15 years 10 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
144
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
Since the advent of XML, the ability to transform documents using transformation languages such as XSLT has become an important challenge. However, writing a transformation script...
161
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
159
click to vote
WIKIS
2010
ACM
15 years 10 months ago
2010
ACM
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
142
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
How can Alice trust computation occurring at Bob's computer? Since it exists and is becoming ubiquitous, the current-generation TCPA/TCG hardware might enable a solution. Whe...