4438 search results - page 481 / 888 » The Case for Collaborative Programming |
132
click to vote
ICCBR
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
168
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
143
click to vote
SIGADA
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
173
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
159
click to vote
CD
2004
Springer
16 years 7 days ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...