Sciweavers

14670 search results - page 95 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
CAISE
2006
Springer
13 years 12 months ago
Regulation in Information Systems at the Level of Tunement
Information Systems (IS) have a major impact on human activities. They are not only "objects or products" because they directly concern our access to knowledge, our possi...
Michel Léonard, Abdelaziz Khadraoui, Jolita...
RSP
1999
IEEE
14 years 14 days ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
IFIP
1993
Springer
14 years 9 days ago
Computer-Aided Manufacturing System Engineering
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
C. R. McLean
VL
1999
IEEE
103views Visual Languages» more  VL 1999»
14 years 14 days ago
ZASH: A Browsing System for Multi-Dimensional Data
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...
Emiko Orimo, Hideki Koike
IEEECIT
2005
IEEE
14 years 1 months ago
iCDMdt: Focused the Model Mapping and Performance Optimization in Embedded System Design
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
Jing Luan, Xuan Cheng, Junzhong Gu