Sciweavers

875 search results - page 62 / 175
» Specification Modules for Methodical System Development
Sort
View
FORMATS
2006
Springer
15 years 1 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
ENTCS
2006
213views more  ENTCS 2006»
14 years 9 months ago
Building Components from Functions
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
Bernhard Schäz
ESWA
2008
166views more  ESWA 2008»
14 years 9 months ago
Modular design to support green life-cycle engineering
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
Hwai-En Tseng, Chien-Chen Chang, Jia-Diann Li
ICAT
2006
IEEE
15 years 3 months ago
Indoor/Outdoor Pedestrian Navigation with an Embedded GPS/RFID/Self-contained Sensor System
Abstract. This paper describes an embedded pedestrian navigation system composed of a self-contained sensors, the Global Positioning System (GPS) and an active Radio Frequency Iden...
Masakatsu Kourogi, Nobuchika Sakata, Takashi Okuma...
WSC
2000
14 years 11 months ago
Teaching simulation using case studies
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...
Charles R. Standridge