3555 search results - page 231 / 711 » Security-Critical System Development with Extended Use Cases |
158
click to vote
ENTCS
2008
15 years 5 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
153
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
In the current market there is a proliferation of knowledge management software solutions. The aim of this paper is to discuss issues concerned in selecting such a system to suppo...
162
click to vote
SELMAS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we demonstrate a policy based approach for building and managing large scale agent based systems. We identify different classes of policies for agent based componen...
131
Voted
ACMICEC
2007
ACM
15 years 9 months ago
2007
ACM
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
142
click to vote
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present initial results towards boosting posterior based speech recognition systems by estimating more informative posteriors using multiple streams of ...