3931 search results - page 487 / 787 » Separation logic and abstraction |
172
click to vote
COLING
1996
15 years 8 months ago
1996
Abstract: Before engaging in a conversation, a message must be planned. While there are many ways to perform this task, I believe that people do this in the following way, in parti...
185
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
237
click to vote
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
278
click to vote
DALT
2010
Springer
15 years 2 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
215
click to vote
TAAS
2010
15 years 1 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...