Dynamic Workflow in Grid-MAS Integration Context

PDF

Introduction

Preface (PDF)

pp. xi

Committees (PDF)

pp. xii-xvi

Invited Talks

The Gradual Computerisation of Mathematics in MathLang (PDF)

Fairouz Kamareddine

pp. 3

SymGrid: A Framework for Symbolic Computations on the Grid (PDF)

Kevin Hammond

pp. 4

Relational Declarative Programming with JBoss Drools (PDF)

Mark Proctor

pp. 5

P2P Open Agent Networks for Decision Making (PDF)

pp. 6

Some Applications of Weakly Picard Operators (Abstract)

Ioan A. Rus

pp. 7-10

PDF

Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher (PDF)

Bruno Buchberger

pp. 11-12

Modeling Origami and Beyond (PDF)

Tetsuo Ida

pp. 13

Automated Reasoning and Formal Verification

'Descente Infinie' Induction-Based Saturation Procedures (Abstract)

Sorin Stratulat

pp. 17-24

PDF

A Tool for Calculating Exponential Run-Time Properties (Abstract)

pp. 25-32

PDF

Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability (Abstract)

pp. 33-40

PDF

Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration (Abstract)

Adrian Craciun

Madalina Hodorog

pp. 41-47

PDF

Parallel and Distributed Computing

Functional-Based Comparison between Two Special Classes of Uni- and Bidirectional Systolic Arrays (Abstract)

Laura Ruff

pp. 51-58

PDF

Parallel Multiple Polynomial Quadratic Sieve on Multi-Core Architectures (Abstract)

Georgiana Macariu

Dana Petcu

pp. 59-65

PDF

Branching Programs, Grammar Systems and the NC¹ Class (Abstract)

Liliana Cojocaru

pp. 66-73

PDF

Structural Properties and Observability in Membrane Systems (Abstract)

Bogdan Aman

Gabriel Ciobanu

pp. 74-81

PDF

Formal Verification and Software Quality

Proving Behavioral Commutativity with CIRC (Abstract)

Dorel Lucanu

pp. 85-92

PDF

Identification of Relational Discrepancies between Database Schemas and Source-Code in Enterprise Applications (Abstract)

Cristina Marinescu

pp. 93-100

PDF

McC and Mc#: Unified C++ and C# Design Facts Extractors Tools (Abstract)

Petru Florin Mihancea

pp. 101-104

PDF

Sharing Rules between JBoss and Jena (Abstract)

Oana Nicolae

Ion-Mircea Diaconescu

Adrian Giurca

Gerd Wgner

pp. 105-108

PDF

Symbolic and Numeric Algorithms

Approximation of Attractors by a Variable Time-Stepping Algorithm for Runge-Kutta Methods (Abstract)

Petre Bazavan

pp. 111-117

PDF

Runge-Kutta Methods and Inverse Hermite Interpolation (Abstract)

Radu Tiberiu Trimbitas

Maria Gabriela Trimbitas

pp. 118-123

PDF

Customized Reflection Lines for Surface Interrogation in Car Body Design (Abstract)

Dan Eugen Ulmet

pp. 124-129

PDF

Invariance in the Class of Weighted Power Means (Abstract)

Iulia Costin

pp. 130-134

PDF

Data Mining

Principal Directions-Based Algorithm for Classification Tasks (Abstract)

pp. 137-143

PDF

Implication-Based Support Measures for Fuzzy Association Rules (Abstract)

Ion Iancu

Mihai Gabroveanu

Mirel Cosulschi

Nicolae Constantinescu

pp. 144-150

PDF

Using Shannon Entropy in ETL Processes (Abstract)

Marian Balta

Victor Felea

pp. 151-156

PDF

Wikipedia-Based Kernels for Text Categorization (Abstract)

pp. 157-164

PDF

On Equivalence of Queries Using Views (Abstract)

Victor Felea

Marian Balta

pp. 165-172

PDF

Formal Verification and Security

Weighted Threshold RSA Based on the Chinese Remainder Theorem (Abstract)

Sorin Iftene

Manuela Grindei

pp. 175-181

PDF

An Extension of the RSA Trapdoor in a KEM/DEM Framework (Abstract)

Bogdan Groza

pp. 182-187

PDF

Automatic State-Based Test Generation Using Genetic Algorithms (Abstract)

Raluca Lefticaru

Florentin Ipate

pp. 188-195

PDF

Approximate Satisfiability Counting (Abstract)

pp. 196-202

PDF

Image and Text Processing

Image-Adaptive Watermarking Using JSEG Segmentation Technique (Abstract)

Monica Radulescu

Felicia Ionescu

pp. 205-210

PDF

Semantic Categorization and Retrieval of Images (Abstract)

pp. 211-218

PDF

Alexandra Balahur-Dobrescu

A Distributed Architecture System for Recognizing Textual Entailment (Abstract)

Adrian Iftene

Daniel Matei

pp. 219-226

PDF

An Agent for Constraint Acquisition and Emergence (Abstract)

pp. 229-234

PDF

Adaptive Information Provisioning in an Agent-Based Virtual Organization- Preliminary Considerations (Abstract)

pp. 235-241

PDF

The CMDS Medical Diagnosis System (Abstract)

Barna Laszlo Iantovics

pp. 246-253

PDF

Adaptive Negotiation Based on Rewards and Regret in a Multi-Agent Environment (Abstract)

Adina Magda Florea

Eugenia Kalisz

pp. 254-259

PDF

Experimental Analysis of the Impact of the Message Management in the Case of the ABT Family (Abstract)

Horia Emil Popa

Ionel Muscalagiu

Diana Maria Muscalagiu

Viorel Negru

pp. 260-266

PDF

Building Agent-Based Simulations Using Structural and Process Mental Models (Abstract)

pp. 267-274

PDF

AgentDiscover: A Multi-Agent System for Knowledge Discovery from Databases (Abstract)

pp. 275-282

PDF

GridCAD: Workshop on Grid Computing Applications Development

Parallel CBIR System for Efficient Hyperspectral Image Retrieval from Heterogeneous Networks of Workstations (Abstract)

pp. 285-291

PDF

Grid Service for Environmental Data Retrieval and Disasters Detection Based on Satellite Image Analysis (Abstract)

pp. 292-297

PDF

Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images (Abstract)

Antonio J. Plaza

pp. 298-303

PDF

Remote Control for Graphic Applications (Abstract)

Marc Eduard Frincu

Dana Petcu

pp. 304-309

PDF

Automatic and Reliable Distribution of Data in Grids over Globus Toolkit (Abstract)

pp. 310-316

PDF

A Performance Analysis on Message Passing Tools for the Grid (Abstract)

pp. 317-322

PDF

Finding the Optimal Read Buffer Size for Grid Applications (Abstract)

Rodica Potolea

Alin Suciu

pp. 323-326

PDF

Composing Web-Based Mathematical Services (Abstract)

pp. 327-334

PDF

Mircea Alexandru Imbroane

Mineral Explorations by Landsat Image Ratios (Abstract)

Cornelia Melenti

Dorian Gorgan

pp. 335-340

PDF

Diagrammatic Description of Satellite Image Processing Workflow (Abstract)

pp. 341-348

PDF

GLinda - Grid-Based Distributed Linda System (Abstract)

Kinga Ildiko Marton

Adrian Colesa

pp. 349-352

PDF

A Distributed Algorithm for Multispectral Image Segmentation (Abstract)

pp. 353-360

PDF

Peer-to-Peer Wikis: Replication of Highly Dynamic Content on XWiki (Abstract)

Sergiu Dumitriu

Sabin Corneliu Buraga

pp. 361-366

PDF

IMNE: Workshop on Iterative Methods for Nonlinear Equations

On a Steffensen Type Method (Abstract)

Ion Pavaloiu

Emil Catinas

pp. 369-375

PDF

Strong Convergence of the Projection Method in Convex Feasibility Problem (Abstract)

Stefan Maruster

Cristina Popirlan

pp. 376-380

PDF

The Algorithm that Determines the Start Iteration of the Halley-Altman Method (Abstract)

Octavian Cira

Cristian Mihai Cira

pp. 381-386

PDF

Iterative Approximation of Fixed Points of Almost Contractions (Abstract)

Vasile Berinde

Madalina Pacurar

pp. 387-392

PDF

NCA: Workshop on Natural Computing and Applications

A Hybrid Genetic Programming and Boosting Technique for Learning Kernel Functions from Training Data (Abstract)

Marta Girdea

Liviu Ciortuz

pp. 395-402

PDF

AdaGEP - An Adaptive Gene Expression Programming Algorithm (Abstract)

pp. 403-406

PDF

Graph Rewriting and Strategies for Modeling Biochemical Networks (Abstract)

Oana Andrei

Helene Kirchner

pp. 407-414

PDF

Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin Glasses (Abstract)

pp. 415-418

PDF

An Application of Ant Colony Optimization to Decision Making on Affective Virtual Entities (Abstract)

Jose Antonio Mocholi

Javier Jaen

pp. 419-426

PDF

Overrepresentations in Neutral Genotype-Phenotype Mappings and their Applications (Abstract)

David Iclanzan

D. Dumitrescu

pp. 427-432

PDF

Designing Fast and Accurate Fuzzy Approximators with Kohonen Networks and Genetic Algorithms (Abstract)

Octav Brudaru

Octavian Buzatu

pp. 433-440

PDF

Neuro-Hill-Climber: A New Approach Towards More Intelligent Search and Optimization (Abstract)

pp. 441-448

PDF

A Bio-Inspired Approach for a Dynamic Railway Problem (Abstract)

Petrica Claudiu Pop

Camelia-Mihaela Pintea

Corina Pop Sitar

Dumitru Dumitrescu

pp. 449-452

PDF

A Hybrid Genetic Algorithm Based on the Potts System (Abstract)

Laura Diosan

Dumitru Dumitrescu

pp. 453-456

PDF

RTES: Workshop on Real Time and Embedded Systems

BluEJAMM: A Bluespec Embedded Java Architecture with Memory Management (Abstract)

Flavius Gruian

Mark Westmijze

pp. 459-466

PDF

PEARLS: An Integrated Environment for Task Scheduling (Abstract)

pp. 467-473

PDF

Path-Constrained Relaxed Schedulability Analysis (Abstract)

Stefan Andrei

Samarjit Chakraborty

pp. 474-482

PDF

RuleApps: Workshop on Rule-Based Applications

Rule Modeling and Interchange (Abstract)

Adrian Giurca

Gerd Wagner

pp. 485-491

PDF

Rules for Learner Modeling and Adaptation Provisioning in an Educational Hypermedia System (Abstract)

pp. 492-499

PDF

Proposal of Business Process and Rules Modeling with the XTT Method (Abstract)

Grzegorz J. Nalepa

pp. 500-506

PDF

Towards Using Grid Services for Mining Fuzzy Association Rules (Abstract)

Mihai Gabroveanu

Ion Iancu

Mirel Cosulschi

Nicolae Constantinescu

pp. 507-513

PDF

Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net (Abstract)

pp. 514-517

PDF

Towards a Mapping from Java Vocabulary to RDFS (Abstract)

Ion-Mircea Diaconescu

Gerd Wagner

pp. 518-522

PDF

Sarah D. Induruwa Fernando

WfPM: Workshop on Workflows and Process Management

Towards Build-Time Interoperability of Workflow Definition Languages (Abstract)

Douglas A. Creager

Andrew C. Simpson

pp. 525-532

PDF

A Reflective PN-Based Approach to Dynamic Workflow Change (Abstract)

Lorenzo Capra

Walter Cazzola

pp. 533-540

PDF

A Process Mining Approach to Redesign Business Processes - A Case Study in Gas Industry (Abstract)

N.R.T.P. van Beest

L. Maruster

pp. 541-548

PDF

Author Index

Author Index (PDF)

pp. 549-551