Sciweavers

871 search results - page 89 / 175
» Modular Design of Reactive Systems
Sort
View
IDEAS
2009
IEEE
104views Database» more  IDEAS 2009»
14 years 2 months ago
An organizational file permission management system using the cellular data system
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki
WSC
1997
13 years 9 months ago
SimTutor: A Multimedia Intelligent Tutoring System for Simulation Modeling
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
Tajudeen A. Atolagbe, Vlatka Hlupic
ICFEM
1998
Springer
14 years 5 days ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
ANCS
2008
ACM
13 years 10 months ago
On runtime management in multi-core packet processing systems
Computer networks require increasingly complex packet processing in the data path to adapt to new functionality requirements. To meet performance demands, packet processing system...
Qiang Wu, Tilman Wolf
CAINE
2006
13 years 9 months ago
A virtual reality system for hydroelectric generating unit maintenance training and understanding
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...
P. Alcides Jr., Manoel R. Filho, Fábio V. B...