Sciweavers

4647 search results - page 340 / 930
» Analysis and design of OFDM-IDMA systems
Sort
View
ADAEUROPE
2008
Springer
16 years 1 months ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
ISCIS
2004
Springer
16 years 27 days ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo
ITRUST
2005
Springer
16 years 1 months ago
ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, A...
170
Voted
CIVR
2004
Springer
16 years 28 days ago
SCULPTEUR: Multimedia Retrieval for Museums
The paper describes the prototype design and development of a multimedia system for museums and galleries. Key elements in the
Simon Goodall, Paul H. Lewis, Kirk Martinez, Patri...
169
Voted
PARA
2004
Springer
16 years 27 days ago
Model Reduction for RF MEMS Simulation
Radio-frequency (RF) MEMS resonators, integrated into CMOS chips, are of great interest to engineers planning the next generation of communication systems. Fast simulations are nec...
David Bindel, Zhaojun Bai, James Demmel