Sciweavers

1323 search results - page 58 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
113
Voted
ATAL
2007
Springer
15 years 9 months 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 8 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 7 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
149
Voted
SIMUTOOLS
2008
15 years 4 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
133
Voted
FASE
2008
Springer
15 years 5 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...