3765 search results - page 342 / 753 » Qualitative Action Systems |
225
click to vote
DESRIST
2009
Springer
15 years 5 months ago
2009
Springer
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
232
Voted
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
202
Voted
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
223
click to vote
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...
227
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on highspeed netw...