9264 search results - page 1593 / 1853 » Space Between Languages |
164
click to vote
IFL
2007
Springer
16 years 23 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
152
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
180
Voted
LADS
2007
Springer
16 years 23 days ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
162
click to vote
LADS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Using a knowledge-based approach we adjust a knowledgebased algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-ba...
171
click to vote
MKM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...