10038 search results - page 409 / 2008 » Model Checking for Managers |
149
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
In this paper we present a proposal to extend WordNet-like lexical databases by adding phrasets, i.e. sets of free combinations of words which are recurrently used to express a co...
147
click to vote
KYOTODL
2000
15 years 8 months ago
2000
This paper presents a novel approach for the management of large collections of electronic documents. The major technical contribution of our approach is the seamless integration ...
167
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
Abstract-- In experimentally assessing the stability and performance level of a large collection of controllers in feedback with a single unknown actual plant, we develop a method ...
195
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
192
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...