8676 search results - page 1304 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
173
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Media forensics tries to determine the originating device of a signal. We apply this paradigm to microphone forensics, determining the microphone model used to record a given audio...
186
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Image splicing detection has been considered as one of the most challenging problems in passive image authentication. In this paper, we propose an automatic detection framework to ...
171
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
205
click to vote
VRCAI
2009
ACM
16 years 1 months ago
2009
ACM
Object Segmentation is an important step in object reconstruction from point cloud data of complex urban scenes and in applications to virtual environment. This paper focuses on s...
186
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...