Sciweavers

3425 search results - page 227 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
JSAC
2006
124views more  JSAC 2006»
15 years 4 months ago
A game-theoretic approach to energy-efficient power control in multicarrier CDMA systems
A game-theoretic model for studying power control in multicarrier code-division multiple-access systems is proposed. Power control is modeled as a noncooperative game in which each...
Farhad Meshkati, Mung Chiang, H. Vincent Poor, Stu...
APSEC
2000
IEEE
15 years 8 months ago
Survivability Analysis of Networked Systems
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
Jeannette M. Wing
146
Voted
ICSR
2009
Springer
15 years 10 months ago
A Case Study of Variation Mechanism in an Industrial Product Line
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...
Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek
145
Voted
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 10 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner
ISSTA
2009
ACM
15 years 8 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel