1027 search results - page 107 / 206 » A Model for Java with Wildcards |
144
Voted
POS
1998
Springer
15 years 7 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
152
Voted
CONSTRAINTS
2002
15 years 3 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
135
Voted
INFSOF
2000
15 years 3 months ago
2000
Distributed object architectures and Java are important for building modern, scalable, web-enabled applications. This paper is focused on qualitative and quantitative comparison o...
136
Voted
IEE
2010
15 years 2 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
152
Voted
GG
2008
Springer
15 years 4 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...