352 search results - page 49 / 71 » Automated Quality Analysis of Component Software for Embedde... |
TSE
2011
13 years 4 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
AI
2002
Springer
13 years 9 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
ITNG
2010
IEEE
14 years 2 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
SIGSOFT
2006
ACM
14 years 3 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...