921 search results - page 139 / 185 » Expressing Computational Complexity in Constructive Type The... |
172
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
123
Voted
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
166
click to vote
JOC
2010
14 years 12 months ago
2010
We consider the generation of prime-order elliptic curves (ECs) over a prime field Fp using the Complex Multiplication (CM) method. A crucial step of this method is to compute the ...
127
click to vote
RAS
1998
15 years 4 months ago
1998
We present a new approach to the multi-robot path planning problem, where a number of robots are to change their positions through feasible motions in the same static environment....
148
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...