8109 search results - page 84 / 1622 » A Model of Component-Based Programming |
90
Voted
VL
2002
IEEE
15 years 7 months ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
100
click to vote
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
121
click to vote
AAMAS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...