2713 search results - page 248 / 543 » Parameterized Tree Systems |
158
Voted
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
180
click to vote
ICONIP
2004
15 years 7 months ago
2004
Most of the current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (...
305
click to vote
PC
2011
15 years 1 months ago
2011
We investigate the efficient iterative solution of large-scale sparse linear systems on shared-memory multiprocessors. Our parallel approach is based on a multilevel ILU precondit...
185
click to vote
TSMC
2010
15 years 29 days ago
2010
Abstract--This paper considers a second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies where each agent is governed by both position...
172
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We present our development of an XML compression and querying tool, which is called XML Compression and Querying System (XCQ). This system is developed based on a novel technique ...