359 search results - page 23 / 72 » Abstract Patterns of Compositional Reasoning |
AUSAI
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
125
click to vote
CONCUR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
110
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
137
Voted
ECRTS
2007
IEEE
15 years 8 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
120
click to vote
LOPSTR
1994
Springer
15 years 6 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...