Sciweavers

10802 search results - page 1742 / 2161
» Generative and developmental systems
Sort
View
EDOC
2007
IEEE
16 years 1 months ago
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
Peter F. Linington, Pulitha Liyanagama
ESCIENCE
2007
IEEE
16 years 1 months ago
Binary Data Transfer Performance over High-Latency Networks Using Web Service Attachments
One of the objectives of e-Research is to help scientists to accomplish their research, including scientific experiments, more effectively and efficiently. Web services provide ...
Donglai Zhang, Paul D. Coddington, Andrew L. Wende...
193
Voted
EUROMICRO
2007
IEEE
16 years 1 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
GLOBECOM
2007
IEEE
16 years 1 months ago
Error Rate of Transmit Beamforming with Delayed and Limited Feedback
— In this paper, we study the effect of delayed and limited feedback of beamformer codebook index on the error rate of transmit beamforming (BF) over Rayleigh fading channels. Cl...
Yao Ma, Dongbo Zhang
202
Voted
HASE
2007
IEEE
16 years 1 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
« Prev « First page 1742 / 2161 Last » Next »