8874 search results - page 1559 / 1775 » A New Implementation of Automath |
179
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
210
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
This paper examines a new building block for next-generation networks: SNAPP, or Stateless Network-Authenticated Path Pinning. SNAPP-enabled routers securely embed their routing d...
197
click to vote
ASSETS
2005
ACM
15 years 9 months ago
2005
ACM
Access to graphical images (bar charts, diagrams, line graphs, etc.) that are in a tactile form (representation through which content can be accessed by touch) is inadequate for s...
220
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
180
click to vote
ICAI
2008
15 years 8 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...