1397 search results - page 132 / 280 » On the Need for Practical Formal Methods |
156
click to vote
DBSEC
2007
15 years 7 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
180
Voted
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Dealing with multi-object tracking in a particle filter raises several issues. A first essential point is to model possible interactions between objects. In this article, we repr...
198
Voted
SIGCSE
2002
ACM
15 years 5 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
162
Voted
ESEM
2010
ACM
15 years 6 months ago
2010
ACM
Synthesizing the evidence from a set of studies that spans many countries and years, and that incorporates a wide variety of research methods and theoretical perspectives, is prob...
137
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...