6618 search results - page 312 / 1324 » Information and Communication Technologies for Development |
199
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
198
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...
186
click to vote
MMMACNS
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes a novel approach for preventative protection from both known and previously unknown malicious software. It does not rely on screening the code for signatures ...
174
click to vote
RIVF
2007
15 years 8 months ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
175
click to vote
DATASCIENCE
2002
15 years 6 months ago
2002
In this paper we survey the recent activities and achievements of our research group in the deployment of XMLrelated technologies in Cultural Heritage applications concerning the ...