4890 search results - page 461 / 978 » From system specifications to component behavioral models |
200
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
The detection of new information in a document stream is an important component of many potential applications. In this work, a new novelty detection approach based on the identif...
191
click to vote
ICECCS
2005
IEEE
16 years 23 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
208
click to vote
JAIR
2000
15 years 7 months ago
2000
This paper describes a novel method by which a spoken dialogue system can learn to choose an optimal dialogue strategy from its experience interacting with human users. The method...
170
click to vote
ISOLA
2004
Springer
16 years 16 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
180
click to vote
SEC
2004
15 years 8 months ago
2004
Trusted Computing gives rise to a new supply of trusted third parties on which distributed systems can potentially rely. They are the secure system components (hardware and softwa...