Sciweavers

1323 search results - page 58 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
ATAL
2007
Springer
16 years 21 days ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos
ISCAS
2003
IEEE
78views Hardware» more  ISCAS 2003»
15 years 11 months ago
SLAP: a system for the detection and correction of pronunciation for second language acquisition
We describe a system for the training of Second Language Acquisition Pronunciation (SLAP) for nonnative speakers. This speech recognition-based system is designed to mimic the val...
Lingyun Gu, John G. Harris
PPDP
1999
Springer
15 years 10 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus
SIMUTOOLS
2008
15 years 8 months ago
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
Hermann S. Lichte, Stefan Valentin
FASE
2008
Springer
15 years 8 months ago
Consistent Integration of Models Based on Views of Visual Languages
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrik...