OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Language: Inglés Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

41-50 from 163 results (0.014 seconds)

Title: A language for modeling the morphogenesis process of biological system using MAS
Author: Angelini, José O. / Martínez, Ernesto / Ramírez, Carlos H. / Gutiérrez, Milagros
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Modeling / Languages / Simulation / morphogenesis

AccederDescargar
Title: An e-learning application based on the semantic web technology
Author: Gradinarova, Boyka / Gradinarova, Milena / Zhelezov, Ognjan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Semantics / Languages / e-learning / Java Web Services

Acceder
Title: Synthesis of a specific processor from a high level programing languaje (ada) description
Author: Deschamps, Jean-Pierre / Tosini, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Real-time systems and embedded systems / Hardware/software interfaces / Processors / embedded systems / hardware/software codesign / hardware/software cosimulation / specific processors / hardware description languages / real time systems

Acceder
Title: Temporal validation of extended workflow processes by means Petri Nets with Clocks
Author: Riesco, Daniel Eduardo / Vilallonga, Gabriel Domingo / Montejano, Germán Antonio / Uzal, Roberto / Welch, Daniel / Gallina, Sergio Hilario
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Workflow management / Business / Petri nets / Languages

Acceder
Title: Combining a causal language with argumentation: a first approach
Author: Cobo, María Laura / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Knowledge Representation Formalisms and Methods / argumentative systems / defeasible reasoning

Acceder
Title: ZinjaI: an integrated development environment for a first programming course with C++
Author: Novara, Pablo / Loyarte, Horacio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Integrated environments / Languages / Learning

Acceder
Title: Two-Level scheduling algorithm for simulation servers
Author: Marín, Mauricio / Bonacic, Carolina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Scheduling / Algorithms / Servers

Acceder
Title: Defining the proxy design pattern using UML profile
Author: Garis, Ana Gabriela / Riesco, Daniel Eduardo / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML profiles / OCL / metamodels / Languages / Modeling / Patterns / Design

Acceder
Title: A first approach to combining ontologies and defeasible argumentation for the semantic web
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / defeasible argumentation / semantic web / ontology integration / Semantics / Multiagent systems / Extensible languages

Acceder
Title: Interaction among BDI argumentative agents: a dialogue games approach
Author: Rueda, Sonia Vivian / Martínez, María Vanina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / interaction language / dialogues / BDI agents / Multiagent systems / Languages

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »