3555 search results - page 31 / 711 » Security-Critical System Development with Extended Use Cases |
117
click to vote
PTS
2003
15 years 2 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
145
click to vote
ALPIT
2008
IEEE
15 years 7 months ago
2008
IEEE
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...
SGAI
2007
Springer
15 years 7 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
133
click to vote
ESAW
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
111
click to vote
HASE
1998
IEEE
15 years 5 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...