Sciweavers

1435 search results - page 9 / 287
» CASE Support and Model-Based Development
Sort
View
ICCS
2005
Springer
15 years 3 months ago
Model-Based Statistical Testing of a Cluster Utility
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
W. Thomas Swain, Stephen L. Scott
77
Voted
ICIW
2008
IEEE
15 years 3 months ago
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Howard Foster, Philip Mayer
AOSE
2005
Springer
15 years 3 months ago
Supporting the Development of Multi-agent Interactions Via Roles
In the multi-agent scenario, interaction among agents is an issue that must be faced in an appropriate way. Modeling interactions by roles can simplify the development of the inter...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
IJCAI
2007
14 years 11 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
70
Voted
ICAIL
2003
ACM
15 years 2 months ago
A Model Based Reasoning Approach for Generating Plausible Crime Scenarios from Evidence
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
Jeroen Keppens, John Zeleznikow