641 search results - page 26 / 129 » A Framework for Analyzing Configurations of Deployable Softw... |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
VLSID
2006
IEEE
14 years 8 months ago
2006
IEEE
- Security protocols, such as IPSec and SSL, are being increasingly deployed in the context of networked embedded systems. The resource-constrained nature of embedded systems and, ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
IJES
2006
13 years 7 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...