2231 search results - page 131 / 447 » Alternation as a programming paradigm |
123
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
125
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
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...
142
click to vote
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...