Sciweavers

3104 search results - page 86 / 621
» Competence-Based EE-Learning: (How) Can We Implement It
Sort
View
HICSS
1999
IEEE
95views Biometrics» more  HICSS 1999»
15 years 9 months ago
Understanding and Supporting Knowledge Management and Organizational Memory in a City Council
The paper develops a generic framework for analyzing knowledge management in formal decision groups and applies it to council work. Requirements are deduced for a sociotechnical s...
Gerhard Schwabe
138
Voted
ICAC
2007
IEEE
15 years 11 months ago
Model-Driven Autonomic Architecture
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
Radu Calinescu
IFL
2007
Springer
158views Formal Methods» more  IFL 2007»
15 years 10 months ago
Checking Dependent Types Using Compiled Code
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
Dirk Kleeblatt
FPL
2004
Springer
105views Hardware» more  FPL 2004»
15 years 10 months ago
FPGA Acceleration of Rigid Molecule Interactions
Abstract: We show how an application of central importance to computational biochemistry can be implemented efficiently on an FPGA. This requires reformulating the algorithm and ta...
Tom Van Court, Yongfeng Gu, Martin C. Herbordt
147
Voted
ISORC
2000
IEEE
15 years 9 months ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
Laurent Pautet, Samuel Tardieu