2705 search results - page 257 / 541 » Formal Ontology for Subject |
MMSEC
2006
ACM
14 years 2 months ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
ITICSE
2005
ACM
14 years 1 months ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents a contribution to image indexing consisting in a weighting model for visible objects – or image objects – in home photographs. To improve its effectiveness ...
SASN
2004
ACM
14 years 1 months ago
2004
ACM
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...