Sciweavers

4255 search results - page 150 / 851
» Cover
Sort
View
IEEEARES
2010
IEEE
15 years 11 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
COMPSAC
2009
IEEE
15 years 11 months ago
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
Nicholas T. Pilkington, Juncao Li, Fei Xie
INFOCOM
2009
IEEE
15 years 11 months ago
Barrier Information Coverage with Wireless Sensors
Abstract—Sensor networks have been deployed for many barrier coverage applications such as intrusion detection and border surveillance. In these applications, it is critical to o...
Guanqun Yang, Daji Qiao
EDUTAINMENT
2009
Springer
15 years 11 months ago
A Distributed Multi-agent Architecture in Simulation Based Medical Training
This paper addresses the issues of distributed interactions in a simulation based medial training environment, where a team of doctors, nurses and assistants are trained for handli...
Jun Hu, Loe M. G. Feijs
IH
2009
Springer
15 years 11 months ago
Estimating Steganographic Fisher Information in Real Images
This paper is concerned with the estimation of steganographic capacity in digital images, using information theoretic bounds and very large-scale experiments to approximate the dis...
Andrew D. Ker