Sciweavers

3425 search results - page 205 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
ECMDAFA
2009
Springer
127views Hardware» more  ECMDAFA 2009»
15 years 1 months ago
Derivation and Refinement of Textual Syntax for Models
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
Florian Heidenreich, Jendrik Johannes, Sven Karol,...
TCOM
2008
128views more  TCOM 2008»
15 years 3 months ago
Cross-Layer Rate and Power Adaptation Strategies for IR-HARQ Systems over Fading Channels with Memory: A SMDP-Based Approach
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
Ashok K. Karmokar, Dejan V. Djonin, Vijay K. Bharg...
BMCBI
2006
94views more  BMCBI 2006»
15 years 4 months ago
Fly-DPI: database of protein interactomes for D. melanogaster in the approach of systems biology
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
Chung-Yen Lin, Shu-Hwa Chen, Chi-Shiang Cho, Chia-...
ICSE
1998
IEEE-ACM
15 years 8 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
AIL
2008
109views more  AIL 2008»
15 years 4 months ago
Artificial institutions: a model of institutional reality for open multiagent systems
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
Nicoletta Fornara, Francesco Viganò, Mario ...