Sciweavers

1106 search results - page 156 / 222
» A Process View Framework for Artifact-Centric Business Proce...
Sort
View
EWSA
2005
Springer
15 years 12 months ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
TSP
2008
117views more  TSP 2008»
15 years 6 months ago
A Theory for Sampling Signals From a Union of Subspaces
One of the fundamental assumptions in traditional sampling theorems is that the signals to be sampled come from a single vector space (e.g. bandlimited functions). However, in many...
Yue M. Lu, Minh N. Do
AICCSA
2007
IEEE
108views Hardware» more  AICCSA 2007»
16 years 20 days ago
On Secure Consensus Information Fusion over Sensor Networks
In this work we have examined the problem of consensus information fusion from a novel point of view, challenging the fundamental assumption of mutual trust among the fusion parti...
Mahdi Kefayati, Mohammad Sadegh Talebi, Hamid R. R...
CSFW
2003
IEEE
15 years 11 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
ICIP
2004
IEEE
16 years 8 months ago
Performance analysis of an improved tensor based correspondence algorithm for automatic 3d modeling
3D modeling of a free-form object involves the acquisition of multiple views (range images) of the object to cover its entire surface. These views are then registered in a common ...
Ajmal S. Mian, Mohammed Bennamoun, Robyn A. Owens