1009 search results - page 139 / 202 » Performance Analysis of UML Models Using Aspect-Oriented Mod... |
ENTCS
2002
14 years 9 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
LISA
2007
15 years 6 days ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
DAGM
2004
Springer
15 years 3 months ago
2004
Springer
This paper proposes a system for model based human motion estimation. We start with a human model generation system, which uses a set of input images to automatically generate a f...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we compare several approaches for the extraction of modulation frequency features from speech signal using a phoneme recognition system. The general framework in th...
164
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...