265 search results - page 35 / 53 » Weakly Algebraizable Logics |
ICYCS
2008
IEEE
14 years 3 months ago
2008
IEEE
A single physical machine provides multiple network monitoring and analysis services (e.g., IDS, QoS) which are installed on the same operating system. Isolation between services ...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
TIME
2008
IEEE
14 years 3 months ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
ELPUB
2004
ACM
14 years 2 months ago
2004
ACM
- This article presents a framework for a XML based search system composed by three layers: data layer, logic layer and presentation layer. In all three layers XML related technolo...