Sciweavers

5355 search results - page 633 / 1071
» Modules
Sort
View
ENTCS
2006
135views more  ENTCS 2006»
15 years 7 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
ENTCS
2006
140views more  ENTCS 2006»
15 years 7 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
Kiyoshi Yamada, Takuo Watanabe
200
Voted
ET
2006
72views more  ET 2006»
15 years 7 months ago
Optimization of Test/Diagnosis/Rework Location(s) and Characteristics in Electronic System Assembly
In this paper, an optimization methodology is used to select the locations and characteristics of test, diagnosis and rework operations in electronic systems assembly processes. Re...
Zhen Shi, Peter Sandborn
196
Voted
IJVR
2008
158views more  IJVR 2008»
15 years 7 months ago
How and Why Affordable Virtual Reality Shapes the Future of Education
This paper presents an analysis of how and why a new generation of virtual reality peripherals affect virtual reality in general, and its uses for education in particular. We descr...
Barnabas Takacs
IEICET
2006
70views more  IEICET 2006»
15 years 7 months ago
Subcarrier Block Power Control for Adaptive Downlink OFDM with Frequency Spreading and Equalization
In this paper, we propose the transmit power controlled adaptive downlink frequency symbol spreading OFDM (TPC-AMS/FSS-OFDM) system. In the TPC-AMS/FSSOFDM, each serial to paralle...
Nam-Su Kim, Sungho Cho, Chang-Jun Ahn