infopapers
30 SlideShares
Tags
antlr relational algebra web services atl model checking sql
See more

Documents

(30)
See all

A Distributed CTL Model Checker

9 years ago • 492 Views

A new Reinforcement Scheme for Stochastic Learning Automata

9 years ago • 353 Views

Building a new CTL model checker using Web Services

9 years ago • 423 Views

Using the Breeder GA to Optimize a Multiple Regression Analysis Model

9 years ago • 468 Views

Automatic control based on Wasp Behavioral Model and Stochastic Learning Automata

9 years ago • 619 Views

A New Nonlinear Reinforcement Scheme for Stochastic Learning Automata

9 years ago • 266 Views

Optimizing a New Nonlinear Reinforcement Scheme with Breeder genetic algorithm

9 years ago • 171 Views

A new Evolutionary Reinforcement Scheme for Stochastic Learning Automata

9 years ago • 284 Views

An executable model for an Intelligent Vehicle Control System

9 years ago • 672 Views

Generic Reinforcement Schemes and Their Optimization

9 years ago • 219 Views

Algebraic Approach to Implementing an ATL Model Checker

9 years ago • 294 Views

Modeling the Broker Behavior Using a BDI Agent

9 years ago • 368 Views

A new co-mutation genetic operator

9 years ago • 405 Views

Intelligent agents in ontology-based applications

9 years ago • 401 Views

Models for a Multi-Agent System Based on Wasp-Like Behaviour for Distributed Patients Repartition

9 years ago • 252 Views

Using genetic algorithms and simulation as decision support in marketing strategies and long-term production planning

9 years ago • 290 Views

An AsmL model for an Intelligent Vehicle Control System

9 years ago • 304 Views

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

9 years ago • 386 Views

Interoperability issues in accessing databases through Web Services

9 years ago • 326 Views

Evaluation of a hybrid method for constructing multiple SVM kernels

9 years ago • 331 Views

An evolutionary method for constructing complex SVM kernels

9 years ago • 263 Views

Optimization of Complex SVM Kernels Using a Hybrid Algorithm Based on Wasp Behaviour

9 years ago • 309 Views

A general frame for building optimal multiple SVM kernels

9 years ago • 230 Views

Generating JADE agents from SDL specifications

9 years ago • 545 Views

CTL Model Update Implementation Using ANTLR Tools

9 years ago • 440 Views

A New Model Checking Tool

9 years ago • 261 Views

An Executable Actor Model in Abstract State Machine Language

9 years ago • 434 Views

Building a Web-bridge for JADE agents

9 years ago • 388 Views

Deliver Dynamic and Interactive Web Content in J2EE Applications

9 years ago • 305 Views

Implementing an ATL Model Checker tool using Relational Algebra concepts

9 years ago • 474 Views

Likes

(1)

Building a new CTL model checker using Web Services

infopapers • 9 years ago
Tags
antlr relational algebra web services atl model checking sql
See more