1501 search results - page 263 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
SIGIR
2003
ACM
15 years 4 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
ICCAD
2000
IEEE
15 years 3 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
ENGL
2007
14 years 11 months ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
109
click to vote
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
113
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...