968 search results - page 85 / 194 » The Molen Programming Paradigm |
143
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
143
Voted
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
129
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
143
click to vote
CSUR
1999
15 years 4 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
137
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present an interface for controlling mobile robots that combines aspects of graphical trajectory specification and state-based programming. This work is motivated by common...