1129 search results - page 30 / 226 » Modular Ranking Abstraction |
SAC
2009
ACM
14 years 2 months ago
2009
ACM
We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, whi...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
FMCO
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
PROMAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...