1027 search results - page 75 / 206 » A Model for Java with Wildcards |
117
click to vote
WSC
1998
15 years 4 months ago
1998
Java-based simulation presents a unique opportunity for revolutionary changes in the process of developing simulation models and in the mission of the simulation software firms th...
142
Voted
JCS
2010
15 years 1 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
133
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
130
click to vote
ECOOP
2001
Springer
15 years 8 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
133
Voted
SAC
2000
ACM
15 years 7 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...