Sciweavers

2145 search results - page 182 / 429
» Architectural Specifications in CASL
Sort
View
TABLEAUX
1998
Springer
15 years 10 months ago
The FaCT System
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
Ian Horrocks
ICMCS
1996
IEEE
104views Multimedia» more  ICMCS 1996»
15 years 10 months ago
Design and Performance Tradeoffs in Clustered Video Servers
In this paper, we investigate the suitability of clustered architectures for designing scalable multimedia servers. Specifically, we evaluate the effects of: (i) architectural des...
Renu Tewari, Rajat Mukherjee, Daniel M. Dias, Harr...
INFOCOM
1996
IEEE
15 years 10 months ago
Intelligent Agents: An Emerging Technology for Next Generation Telecommunications?
The telecommunications environment is changing its face towards an open market of information services where the vision is "information any time, at any place, in any form&qu...
Thomas Magedanz, Kurt Rothermel, Sven Krause
DAC
1996
ACM
15 years 10 months ago
Functional Verification Methodology of Chameleon Processor
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
Françoise Casaubieilh, Anthony McIsaac, Mik...
KIVS
1997
Springer
15 years 10 months ago
Conformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
Brigitte Bär, Kurt Geihs