infopapers
30 SlideShares
Mots-clés
antlr relational algebra web services atl model checking sql
Tout plus
  • Présentations
  • Infographies
Plus récents Les plus populaires

Implementing an ATL Model Checker tool using Relational Algebra concepts

il y a 9 ans • 474 Vues

Deliver Dynamic and Interactive Web Content in J2EE Applications

il y a 9 ans • 305 Vues

Building a Web-bridge for JADE agents

il y a 9 ans • 388 Vues

An Executable Actor Model in Abstract State Machine Language

il y a 9 ans • 434 Vues

A New Model Checking Tool

il y a 9 ans • 261 Vues

CTL Model Update Implementation Using ANTLR Tools

il y a 9 ans • 440 Vues

Generating JADE agents from SDL specifications

il y a 9 ans • 545 Vues

A general frame for building optimal multiple SVM kernels

il y a 9 ans • 230 Vues

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

il y a 9 ans • 309 Vues

An evolutionary method for constructing complex SVM kernels

il y a 9 ans • 263 Vues

Evaluation of a hybrid method for constructing multiple SVM kernels

il y a 9 ans • 331 Vues

Interoperability issues in accessing databases through Web Services

il y a 9 ans • 326 Vues

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

il y a 9 ans • 386 Vues

An AsmL model for an Intelligent Vehicle Control System

il y a 9 ans • 304 Vues

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

il y a 9 ans • 290 Vues

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

il y a 9 ans • 252 Vues

Intelligent agents in ontology-based applications

il y a 9 ans • 401 Vues

A new co-mutation genetic operator

il y a 9 ans • 405 Vues

Modeling the Broker Behavior Using a BDI Agent

il y a 9 ans • 368 Vues

Algebraic Approach to Implementing an ATL Model Checker

il y a 9 ans • 294 Vues