14244 search results - page 336 / 2849 » Modeling Program Predictability |
109
Voted
ERSHOV
2006
Springer
15 years 7 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...
105
Voted
ASPLOS
2006
ACM
15 years 9 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...
109
Voted
COMPSAC
1997
IEEE
15 years 8 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 ...
130
Voted
AAMAS
2006
Springer
15 years 3 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...
150
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...