1669 search results - page 162 / 334 » Modeling ODP Computational Specifications Using UML |
HPCA
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper introduces a router delay model that accurately models key aspects of modern routers. The model accounts for the pipelined nature of contemporary routers, the specific ...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper focuses on the task of text sentiment analysis in hybrid online articles and web pages. Traditional approaches of text sentiment analysis typically work at a particular ...
ICCAD
2010
IEEE
13 years 7 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
NSDI
2004
13 years 10 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....