307 search results - page 39 / 62 » java 2000 |
SIGSOFT
2000
ACM
14 years 1 days ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
ESORICS
2000
Springer
13 years 11 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
HICSS
2000
IEEE
13 years 11 months ago
2000
IEEE
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
SPIN
2000
Springer
13 years 11 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...
AVI
2000
13 years 9 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...