1027 search results - page 49 / 206 » A Model for Java with Wildcards |
149
Voted
ERSHOV
2009
Springer
15 years 13 days ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
154
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
123
Voted
CCGRID
2002
IEEE
15 years 7 months ago
2002
IEEE
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...
93
Voted
WSC
2000
15 years 4 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
161
click to vote
ENTCS
2006
15 years 2 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...