A 2-mm deep microwave cavity resonator is proposed for LIGA micro-fabrication. LIGA provides highly vertical and optically smooth sidewalls, leading to potentially high quality (Q...
The influence of thermal effects on the reliability of RF MEMS switches is investigated in this paper. Low power consumption and capacity to handle high power at very high frequen...
Jonathan Lueke, Noor Al Quddus, Walied A. Moussa, ...
The paper presents a digital oscillating loop for a MEMS resonator in which the instantaneous resonator position is estimated on-line with a Kalman observer. The approach is appli...
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
Due to the widespread trust threat under the open and dynamic Internet environment, the computer community has endeavored to engage in the studies of technologies for protecting a...
This paper articulates a system design for the secure role based messaging model built based on existing messaging systems, public key infrastructures, and a privilege management ...
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Ga...
Mobile code solutions can improve the performances of applications over the Internet by reducing the amount of data that must be transferred across the network. The research on ge...