1925 search results - page 358 / 385 » Incremental test collections |
128
click to vote
ERCIMDL
2001
Springer
15 years 4 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
116
click to vote
PROFES
2001
Springer
15 years 4 months ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
100
click to vote
UML
2001
Springer
15 years 4 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
125
click to vote
WADS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...