Sciweavers

3106 search results - page 85 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
HASE
2008
IEEE
14 years 10 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
JCAL
1998
94views more  JCAL 1998»
14 years 9 months ago
Design issues of a distance learning course on Business on the Internet
The paper presents the main design issues of a distance learning course on Business on the Internet. The instructional design is based on a learner centered instructional stratedy...
Krassen Stefanov, Svetoslav Stoyanov, Roumen Nikol...
ISCAS
2008
IEEE
103views Hardware» more  ISCAS 2008»
15 years 4 months ago
A novel multiscroll chaotic system and its realization
Abstract— This paper proposes a novel multiscroll chaotic system, which is different from Chua’s circuit and all its variants in most aspects of the algebraic form, circuit des...
Simin Yu, Jinhu Lu, Guanrong Chen
BROADNETS
2007
IEEE
15 years 4 months ago
Design and control of optical grid networks
—Grid computing aims to realize a high-performance computing environment, while increasing the usage efficiency of installed resources. This puts considerable constraints on the...
Marc De Leenheer, Chris Develder, Tim Stevens, Bar...
LAWEB
2009
IEEE
15 years 4 months ago
Conceptual Metaphors for Designing Multi-cultural Applications
—This paper proposes a set of conceptual metaphors for the design of multi-cultural systems. The work is part of a long-term study to adapt the International Children's Digi...
Luciana Cardoso de Castro Salgado, Clarisse Siecke...