101 search results - page 13 / 21 » Automating the process of test derivation from SDL specifica... |
SOSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
APSCC
2008
IEEE
14 years 2 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
ANTSW
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
COLING
2008
13 years 9 months ago
2008
Our goal is to use natural language processing to identify deceptive and nondeceptive passages in transcribed narratives. We begin by motivating an analysis of language-based dece...
FTCS
1993
13 years 9 months ago
1993
Although the present work does in fact employ training data, it does so in the interest of calibrating the results Six hundred faults were induced by injection into five live obtai...