13383 search results - page 351 / 2677 » Abstractions from proofs |
149
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The storing of data and configuration files related to scientific experiments is vital if those experiments are to remain reproducible, or if the data is to be shared ...
192
click to vote
PREMI
2005
Springer
16 years 8 days ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
178
click to vote
SOFSEM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Open source software has become a common way of disseminating research results. In this talk, we first introduce the motivations and implications of releasing research pr...
150
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
174
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...