Table of Contents, vol 4, no 3&4, year 2011
The OMiSCID 2.0 Middleware: Usage and Experiments in Smart Environments
Rémi Barraquand, INRIA, France
Dominique Vaufreydaz, INRIA, France
Rémi Emonet, INRIA, France
Amaury Negre, INRIA, France
Patrick Reignier, INRIA, France
On a New Method for Derivative Free Optimization
Lennart Frimannslund, Department of Informatics, University of Bergen, Norway
A Systematic Review and Taxonomy of Runtime Invariance in Software Behaviour
Teemu Kanstrén, VTT, Finland
Interface Contracts for WCF Services with Code Contracts
Bernhard Hollunder, Furtwangen University of Applied Sciences, Germany
Answering Complex Requests with Automatic Composition of Semantic Web Services
Brahim Batouche, Public Research Center Henri Tudor, Luxembourg, Luxembourg
Yannick Naudet, Public Research Center Henri Tudor, Luxembourg, Luxembourg
Frédéric Guinand, University of LeHavre, France
Scripting Technology for Generative Modeling
Christoph Schinko, Institut f. ComputerGraphik & WissensVisualisierung, TU Graz, Austria
Martin Strobl, Institut f. ComputerGraphik & WissensVisualisierung, TU Graz, Austria
Torsten Ullrich, Fraunhofer Austria Research GmbH, Graz, Austria
Dieter W. Fellner, GRIS, TU Darmstadt & Fraunhofer IGD, Darmstadt, Germany
Simulation and Test-Case Generation for PVS Specifications of Control Logics
Cinzia Bernardeschi, Department of Information Engineering, University of Pisa, Italy
Luca Cassano, Department of Information Engineering, University of Pisa, Italy
Andrea Domenici, Department of Information Engineering, University of Pisa, Italy
Paolo Masci, School of Electronic Engineering and Computer Science, Queen Mary University of London, United Kingdom
The CloudMIG Approach: Model-Based Migration of Software Systems to Cloud-Optimized Applications
Sören Frey, Software Engineering Group, University of Kiel, Germany
Wilhelm Hasselbring, Software Engineering Group, University of Kiel, Germany
A Formal Language for the Expression of Pattern Compositions
Ian Bayley, Oxford Brookes University, UK
Hong Zhu, Oxford Brookes University, UK
A Pattern-based Adaptation for Abstract Applications in Pervasive Environments
Imen Ben Lahmar, Institut Telecom; Telecom SudParis, France
Djamel Belaïd, Institut Telecom; Telecom SudParis, France
Hamid Mukhtar, National University of Sciences and Technology, Pakistan
On the Quality of Relational Database Schemas in Open-source Software
Fabien Coelho, CRI, Mathématiques et Systèmes, MINES ParisTech, France
Alexandre Aillos, CRI, Mathématiques et Systèmes, MINES ParisTech, France
Samuel Pilot, CRI, Mathématiques et Systèmes, MINES ParisTech, France
Shamil Valeev, CRI, Mathématiques et Systèmes, MINES ParisTech, France
Using Statistical Information for Efficient Design and Evaluation of Hybrid XML Storage
Lena Strömbäck, SMHI, Sweden
Valentina Ivanova, Linköping University, Sweden
David Hall, Linköping University, Sweden
A Proposal of a New Compression Scheme of Medium-Sparse Bitmaps
Andreas Schmidt, Karlsruhe Institute of Technology, Germany
Daniel Kimmig, Karlsruhe Institute of Technology, Germany
Mirko Beine, Karlsruhe University of Applied Sciences, Germany
Turning Large Software Component Repositories into Small Index Files
Marcos Paixão, Federal University of Sergipe, Brazil
Leila Silva, Federal University of Sergipe, Brazil
Talles Brito, Federal University of Paraíba, Brazil
Gledson Elias, Federal University of Paraíba, Brazil
Superposition of Rectangles with Visibility Requirement: A Qualitative Approach
Takako Konishi, Kwansei Gakuin University, Japan
Kazuko Takahashi, Kwansei Gakuin University, Japan
Efficient Non-Sequential Access and More Ordering Choices in a Search Tree
Lubomir Stanchev, Indiana University - Purdue University Fort Wayne, USA
Transactional Composition and Concurrency Control in Disconnected Computing
Tim Lessner, Reutlingen University of Applied Sciences, Germany
Fritz Laux, Reutlingen University of Applied Sciences, Germany
Thomas Connolly, University of the West of Scotland, Scotland, UK
Malcolm Crowe, University of the West of Scotland, Scotland, UK
Verifiable Constraints for Ambients of Persistent Objects
Suad Alagic, University of Southern Maine, USA
Harika Anumula, University of Southern Maine, USA
Akinori Yonezawa, Advanced Institute of Computational Science, Japan
Models of 40-Year Spatial Development of Cities in the Czech Republic in a geographic information system
Lena Halounová, Faculty of Civil Engineering, CTU in Prague, Czech Republic
Karel Vepřek, Faculty of Civil Engineering, CTU in Prague, Czech Republic
Martin Řehák, Faculty of Civil Engineering, CTU in Prague, Czech Republic
Rainbow Table Optimization for Password Recovery
Vrizlynn Thing, Institute for Infocomm Research, Singapore
Hwei-Ming Ying, Institute for Infocomm Research, Singapore
An Augmented Reality Platform for the Enhancement of Surgical Decisions in Pediatric Laparoscopy
Lucio Tommaso De Paolis, Department of Innovation Engineering - University of Salento, Italy
Giovanni Aloisio, Department of Innovation Engineering - University of Salento, Italy
Retrieval of 3D Medical Images via Their Texture Features
Xiaohong Gao, Middlesex University, United Kingdom
Yu Qian, Middlesex University, United Kingdom
Martin Loomes, Middlesex University, UK
Richard Comley, Middlesex University, UK
Balbir Barn, Middlesex University, UK
Alex Chapman, Middlesex University, UK
Janet Rix, Middlesex University, UK
Rui Hui, General Navy Hospital, China
Zengmin Tian, General Navy Hospital, China
Ontology Structure, Reasoning Approach and Querying Mechanism in a Semantic-Enabled Efficient and Scalable Retrieval of Experts
Witold Abramowicz, Poznan University of Economics, Poland
Elżbieta Bukowska, Poznan University of Economics, Poland
Monika Kaczmarek, Poznan University of Economics, Poland
Monika Starzecka, Poznan University of Economics, Poland
Block Matching Motion Estimation with Variable Search Window Size
Ionut Pirnog, “Politehnica” University of Bucharest, Romania
Claudia Cristina Oprea, “Politehnica” University of Bucharest, Romania
Automatic Categorisation of E-Journals by Synonym Analysis of n-grams
Richard Hussey, University of Reading, United Kingdom
Shirley Williams, University of Reading, United Kingdom
Richard Mitchell, University of Reading, United Kingdom
download vol 4, no 3&4, year 2011
