8874 search results - page 351 / 1775 » A New Implementation of Automath |
232
click to vote
AOSD
2003
ACM
16 years 1 days ago
2003
ACM
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...
136
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports on the results of our recent NASA SBIR contract, “Autonomous Self-Repairing Circuits,” in which we developed a novel approach to fault-tolerant circuit synt...
173
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
176
click to vote
INFOVIS
2000
IEEE
15 years 11 months ago
2000
IEEE
In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...
164
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...