Sciweavers

179 search results - page 23 / 36
» On Perfect Codes and Related Concepts
Sort
View
SAC
2008
ACM
14 years 9 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
INFOCOM
2003
IEEE
15 years 3 months ago
An information theoretic view of network management
—We present an information-theoretic framework for network management for recovery from nonergodic link failures. Building on recent work in the field of network coding, we desc...
Tracey Ho, Muriel Médard, Ralf Koetter
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
15 years 3 months ago
Student Modelling Based on Ontologies
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
Alejandro Peña Ayala
ALP
1997
Springer
15 years 2 months ago
Optimal Non-deterministic Functional Logic Computations
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
Sergio Antoy
IFIP
1994
Springer
15 years 2 months ago
Modeling Motion Simulation with DEDS
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
J. T. F. Camargo, Léo Pini Magalhães...