Sciweavers

5407 search results - page 648 / 1082
» The Software Engineering Global Model
Sort
View
TCOM
2010
79views more  TCOM 2010»
15 years 2 months ago
Power Correlation Coefficient of a Very General Fading Model in Maximal Ratio Combining
A very general fading scenario is considered for which exact, closed-form formulas for the correlation coefficient of the instantaneous power at the output of a Maximal Ratio Combi...
José Ricardo Mendes, Michel Daoud Yacoub, U...
ISORC
2008
IEEE
16 years 2 months ago
Structural Model of Real-Time Databases: An Illustration
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
Nizar Idoudi, Claude Duvallet, Bruno Sadeg, Rafik ...
ECBS
2007
IEEE
149views Hardware» more  ECBS 2007»
16 years 2 months ago
Component-Based System Integration via (Meta)Model Composition
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
Krishnakumar Balasubramanian, Douglas C. Schmidt, ...
ICFEM
2004
Springer
16 years 1 months ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
186
Voted
JCC
2000
66views more  JCC 2000»
15 years 7 months ago
The molecular modeling toolkit: A new approach to molecular simulations
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
Konrad Hinsen