infopapers

0 Followers

antlr relational algebra web services atl model checking sql

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

Implementing an ATL Model Checker tool using Relational Algebra concepts

Vor 9 Jahren • 474 Aufrufe

Deliver Dynamic and Interactive Web Content in J2EE Applications

Vor 9 Jahren • 305 Aufrufe

Building a Web-bridge for JADE agents

Vor 9 Jahren • 388 Aufrufe

An Executable Actor Model in Abstract State Machine Language

Vor 9 Jahren • 434 Aufrufe

A New Model Checking Tool

Vor 9 Jahren • 261 Aufrufe

CTL Model Update Implementation Using ANTLR Tools

Vor 9 Jahren • 440 Aufrufe

Generating JADE agents from SDL specifications

Vor 9 Jahren • 545 Aufrufe

A general frame for building optimal multiple SVM kernels

Vor 9 Jahren • 230 Aufrufe

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

Vor 9 Jahren • 309 Aufrufe

An evolutionary method for constructing complex SVM kernels

Vor 9 Jahren • 263 Aufrufe

Evaluation of a hybrid method for constructing multiple SVM kernels

Vor 9 Jahren • 331 Aufrufe

Interoperability issues in accessing databases through Web Services

Vor 9 Jahren • 326 Aufrufe

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

Vor 9 Jahren • 386 Aufrufe

An AsmL model for an Intelligent Vehicle Control System

Vor 9 Jahren • 304 Aufrufe

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

Vor 9 Jahren • 290 Aufrufe

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

Vor 9 Jahren • 252 Aufrufe

Intelligent agents in ontology-based applications

Vor 9 Jahren • 401 Aufrufe

A new co-mutation genetic operator

Vor 9 Jahren • 405 Aufrufe

Modeling the Broker Behavior Using a BDI Agent

Vor 9 Jahren • 368 Aufrufe

Algebraic Approach to Implementing an ATL Model Checker

Vor 9 Jahren • 294 Aufrufe