Sciweavers

7597 search results - page 307 / 1520
» On the design of metric relations
Sort
View
AIED
2005
Springer
16 years 9 days ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
ISCAS
2003
IEEE
98views Hardware» more  ISCAS 2003»
16 years 1 days ago
Dynamic operand transformation for low-power multiplier-accumulator design
: The design of portable battery-operated devices requires low-power computation circuits. This paper presents a new multiplier-accumulator (MAC) design approach, which in contrast...
Masayoshi Fujino, Vasily G. Moshnyaga
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
TOOLS
2000
IEEE
15 years 11 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath
155
Voted
ATAL
2000
Springer
15 years 11 months ago
Architectures and Idioms: Making Progress in Agent Design
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
Joanna Bryson, Lynn Andrea Stein