2008 Flexible Database Querying Based on Ordered

, Amel Touzi 1

Generating Exact Approximations to Model Check Concurrent Systems

Abstract: In this paper, we present a method to generate abstractions for model checking concurrent systems. A program

#Model checking # abstractions # concurrent systems

EEDIS Laboratory, University of Sidi Bel Abbes, Alg eria

# Reengineering # web services # service-oriented archi tectures # web applications # ontology # UML

Correlation Dependencies between Variables in Feature Selection on Boolean Symbolic Objects

Djamal Ziani

#Feature selection # dependencies; symbolic data analysis # discrimination criteria

A Hybrid Approach for Providing Improved Link Connectivity in SDN

Muthumanikandan Vanamoorthy1, Valliyammai Chinnaiah1, and Harish Sekar2 1Department of Computer Technology, Madras Institute of Technology, Anna University, India 2Endurance International Group, India

#Open flow # SDN # link failure # protection and restoration

Partitioning State Spaces of Concurrent Transition Systems Mustapha Bourahla

efficient new methods to deal with the large real-size of concurrent transition systems. We propose a new algorithm for

#Concurrent transition systems # distributed and parallel analysis # abstraction # partitioning # refinement