3468 search results - page 440 / 694 » An open logical framework |
118
Voted
MIR
2005
ACM
15 years 9 months ago
2005
ACM
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...
135
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
118
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
120
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
134
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...