Sciweavers

26151 search results - page 239 / 5231
» Parameterized system design
Sort
View
MDM
2004
Springer
197views Communications» more  MDM 2004»
15 years 12 months ago
MobiVoD: A Video-on-Demand System Design for Mobile Ad Hoc Networks
— We present a design for a system that provides video-on-demand (VOD) services to mobile ad hoc clients. Such a system allows the clients to access video information anytime any...
Duc A. Tran, Minh Le, Kien A. Hua
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 12 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
WORDS
2002
IEEE
15 years 11 months ago
Auction System Design Using Open Multithreaded Transactions
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
Jörg Kienzle, Alfred Strohmeier, Alexander B....
OHS
2001
Springer
15 years 11 months ago
The Impact of Empirical Studies on the Design of an Adaptive Hypertext Generation System
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
Kalina Bontcheva
ESAW
2000
Springer
15 years 10 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi