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

Repository: 37 Query: FORMAL LANGUAGES Language: Inglés Year: 2006

Sort by Score Title Year -

1-10 from 35 results (0.013 seconds)

Title: Fast cellular automata with restricted inter-cell communication: computational capacity
Author: Kutrib, Martin / Malcher, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Arrays / Formal Languages / Parallel Architectures

Acceder
Title: Formal analysis of the communication of probabilistic knowledge
Author: Vicari, Rosa / Seixas, Louise / Flores, Cecília / Gluz, João Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal models / Probabilistic computation / Communications Management

Acceder
Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / Verification

Acceder
Title: Engineering modular web-based education systems to support EML units of learning
Author: Caeiro Rodríguez, Manuel / Anido Rifón, Luis / Lamas Nistal, Martín
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Modeling / Languages

Acceder
Title: Problems and challenges for ontology integration in the SemanticWeb
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / World Wide Web / Semantic Web / Ontology languages / Ontology integration / Intelligent agents / Semantics

Acceder
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: 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: 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: An agent-oriented programming language for computing in context
Author: Vieira, Renata / Hübner, Jomi / Moreira, Álvaro F. / Bordini, Rafael H.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / Programming Languages and Software

Acceder

« Previous 1 2 3 4 Next »