188 search results - page 24 / 38 » java 2001 |
SEMWEB
2001
Springer
13 years 12 months ago
2001
Springer
Some aspects of W3C's RDF Model and Syntax Specification require careful reading and interpretation to produce a conformant implementation. Issues have arisen around anonymou...
CC
2001
Springer
13 years 12 months ago
2001
Springer
Root scanning is the task of identifying references to heap objects that are stored outside of the heap itself, in global and local variables and on the execution stack. Root scann...
SPIN
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
APCSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
IMSA
2001
13 years 8 months ago
2001
We have developed a secure, collaborative, web-based electronic notebook (EN) designed to provide researchers and students with a means to record and share their primary research ...