4800 search results - page 265 / 960 » OO Distributed Programming is Not Distributed OO Programming |
127
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
109
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
143
click to vote
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
135
click to vote
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...