5639 search results - page 360 / 1128 » Timed Abstract Non-interference |
129
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
124
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Keyword spotting is a detection task consisting in discovering the presence of specific spoken words in unconstrained speech. The majority of keyword spotting systems ar...
129
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
117
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
STACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coefficients can be computed in polynomial spa...