2216 search results - page 258 / 444 » Hedging Structured Concepts |
132
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
This paper presents a CORBA Security discretionary prototype developed in the context of JaCoWeb Security Project. JaCoWeb Security Project is developing an authorization scheme f...
159
click to vote
ENTCS
2002
15 years 6 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
152
click to vote
CONCURRENCY
1998
15 years 5 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
136
Voted
JGS
2002
15 years 5 months ago
2002
A simple preliminary model of gentrification is presented. The model is based on an irregular cellular automaton architecture drawing on the concept of proximal space, which is wel...
277
click to vote
JUCS
2002
15 years 5 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...