1321 search results - page 144 / 265 » Logic Simulation Using Networks of State Machines |
LISA
2007
15 years 7 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...
110
click to vote
AVSS
2009
IEEE
15 years 1 months ago
2009
IEEE
—Automatic understanding of human behavior is an important and challenging objective in several surveillance applications. One of the main problems of this task consists in accur...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
VLSID
2005
IEEE
15 years 3 months ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...