1027 search results - page 91 / 206 » A Model for Java with Wildcards |
130
Voted
HOTOS
1997
IEEE
15 years 7 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
136
Voted
FECS
2006
15 years 4 months ago
2006
Game programming is interesting but tough. It could be counted as a sophisticated software development in an undergraduate curriculum because it deals with a wide range of knowled...
99
Voted
IADIS
2003
15 years 4 months ago
2003
In this paper, we describe the development of a framework for building J2EE Web-centric business applications, that is, middle-size applications organized around Web components. T...
131
Voted
JSS
2006
15 years 3 months ago
2006
This article analyses two most commonly used distributed models in Java: Web services and RMI (Remote Method Invocation). The paper focuses on regular (unsecured) as well as on se...
130
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...