1760 search results - page 116 / 352 » Program Analysis Using Weighted Pushdown Systems |
120
Voted
IEEEIAS
2009
IEEE
15 years 7 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...
104
click to vote
CPHYSICS
2006
15 years 20 days ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
87
Voted
AIPS
2008
15 years 3 months ago
2008
Planning problems are often formulated as heuristic search. The choice of the heuristic function plays a significant role in the performance of planning systems, but a good heuris...
120
click to vote
DFG
2004
Springer
15 years 4 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...