Sciweavers

12023 search results - page 393 / 2405
» The K-Rep System Architecture
Sort
View
175
Voted
FPL
2004
Springer
141views Hardware» more  FPL 2004»
16 years 7 days ago
Automatic Synthesis of Efficient Intrusion Detection Systems on FPGAs
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...
Zachary K. Baker, Viktor K. Prasanna
EMSOFT
2003
Springer
16 years 2 days ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
VLDB
1989
ACM
104views Database» more  VLDB 1989»
15 years 11 months ago
Gral: An Extensible Relational Database System for Geometric Applications
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
Ralf Hartmut Güting
IMSA
2001
121views Multimedia» more  IMSA 2001»
15 years 8 months ago
Technology Integrated Learning Environment - A Web-based Distance Learning System
This paper analyses the requirements of a third-generation technology integrated learning environment. The architecture proposed is analysed in terms of the generic constraints of...
Regina Gehne, Chris R. Jesshope, Zhenzi Zhang
COMSIS
2004
99views more  COMSIS 2004»
15 years 6 months ago
The Multi-courses Tutoring System Design
This paper describes architecture, design, and implementation of Multitutor, a Web-based environment for the development the elearning courses and for the use of them by the studen...
Goran Simic