Computer Information Systems and Industrial Management

We survey some critical issues arising in the ubiquitous computing paradigm, in particular the interplay between context-awareness and security. We then overview a language-based approach that addresses these problems from the point of view of Formal Methods. More precisely, we briefly describe a core functional language extended with mechanisms to express adaptation to context changes, to manipulate resources and to enforce security policies. In addition, we shall outline a static analysis for guaranteeing programs to securely behave in the digital environment they are part of.

[1]  Nikos Paragios,et al.  Dense non-rigid surface registration using high-order graph matching , 2010, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[2]  Paul J. Besl,et al.  A Method for Registration of 3-D Shapes , 1992, IEEE Trans. Pattern Anal. Mach. Intell..

[3]  Andrea Torsello,et al.  Multiview registration via graph diffusion of dual quaternions , 2011, CVPR 2011.

[4]  Bernd Michaelis,et al.  Optical 3D Surface Reconstruction by a Multi-Period Phase Shift Method , 2007, J. Comput..

[5]  Alexander M. Bronstein,et al.  A game-theoretic approach to deformable shape matching , 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition.

[6]  William Chauvenet,et al.  A manual of spherical and practical astronomy , 1891 .

[7]  L. Noakes,et al.  The Lawn-Mowing Algorithm for noisy gradient vector elds , 1999 .

[8]  Marc Levoy,et al.  Efficient variants of the ICP algorithm , 2001, Proceedings Third International Conference on 3-D Digital Imaging and Modeling.

[9]  Rafal Doroz,et al.  A new signature similarity measure , 2009, 2009 World Congress on Nature & Biologically Inspired Computing (NaBIC).

[10]  S. B. Needleman,et al.  A general method applicable to the search for similarities in the amino acid sequence of two proteins. , 1970, Journal of molecular biology.

[11]  Jing Hua,et al.  Non-rigid Surface Registration Using Spherical Thin-Plate Splines , 2007, MICCAI.

[12]  Andrea Torsello,et al.  A graph-based technique for semi-supervised segmentation of 3D surfaces , 2012, Pattern Recognit. Lett..

[13]  Vincent Lepetit,et al.  Closed-Form Solution to Non-rigid 3D Surface Registration , 2008, ECCV.

[14]  Pascal Fua,et al.  Articulated Soft Objects for Multiview Shape and Motion Capture , 2003, IEEE Trans. Pattern Anal. Mach. Intell..

[15]  Lyle Noakes,et al.  Denoising Images: Non-linear Leap-Frog for Shape and Light-Source Recovery , 2002, Theoretical Foundations of Computer Vision.

[16]  Weikang Gu,et al.  Computer vision based system for apple surface defect detection , 2002 .

[17]  Lyle Noakes,et al.  2D leapfrog algorithm for optimal surface reconstruction , 1999, Optics & Photonics.

[18]  Berthold K. P. Horn,et al.  Shape from shading , 1989 .

[19]  Rafal Doroz,et al.  A New Signature Similarity Measure Based on Windows Allocation Technique , 2010 .

[20]  Alexander M. Bronstein,et al.  Expression-Invariant Representations of Faces , 2007, IEEE Transactions on Image Processing.

[21]  Jesús Francisco Vargas-Bonilla,et al.  Off-line signature verification based on grey level information using texture features , 2011, Pattern Recognit..

[22]  Sang C. Park,et al.  Reverse engineering with a structured light system , 2009, Comput. Ind. Eng..

[23]  Berthold K. P. Horn,et al.  Closed-form solution of absolute orientation using unit quaternions , 1987 .

[24]  Carlos Vivaracho-Pascual,et al.  An efficient low cost approach for on-line signature recognition based on length normalization and fractional distances , 2009, Pattern Recognit..

[25]  A. N. Rajagopalan,et al.  Off-line signature verification using DTW , 2007, Pattern Recognit. Lett..

[26]  P. Porwik,et al.  Some Handwritten Signature Parameters in Biometric Recognition Process , 2007, 2007 29th International Conference on Information Technology Interfaces.

[27]  Yuan Yan Tang,et al.  Model-based signature verification with rotation invariant features , 2009, Pattern Recognit..

[28]  Y. J. Tejwani,et al.  Robot vision , 1989, IEEE International Symposium on Circuits and Systems,.

[29]  R. Kozera.  Existence and uniqueness in photometric stereo , 1991 .

[30]  K. Wróbel,et al.  Signature recognition method by means of the windows technique , 2009 .

[31]  Yosuke Takashima,et al.  Texture based 3D shape reconstruction from multiple stereo images , 1992, [1992] Proceedings. 11th IAPR International Conference on Pattern Recognition.

[32]  Lyle Noakes,et al.  Nonlinearities and Noise Reduction in 3-Source Photometric Stereo , 2004, Journal of Mathematical Imaging and Vision.