Sciweavers

3425 search results - page 294 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
DATE
2009
IEEE
114views Hardware» more  DATE 2009»
15 years 11 months ago
Hardware aging-based software metering
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
Foad Dabiri, Miodrag Potkonjak
126
Voted
ISTA
2003
15 years 6 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
DISCEX
2003
IEEE
15 years 10 months ago
Achieving Principled Assuredly Trustworthy Composable Systems and Networks
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
Peter G. Neumann
145
Voted
HCI
2007
15 years 6 months ago
Incorporating User Centered Requirement Engineering into Agile Software Development
Agile Software Engineering approaches gain more and more popularity in today’s development organizations. The need for usable products is also a growing factor for organizations....
Markus Düchting, Dirk Zimmermann, Karsten Neb...
SPLC
2008
15 years 6 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...