5818 search results - page 1103 / 1164 » A reasonable Semantic Web |
113
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
130
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
134
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
114
click to vote
TMRA
2005
Springer
15 years 7 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...