3134 search results - page 257 / 627 » Computing full disjunctions |
110
Voted
ANCS
2006
ACM
15 years 7 months ago
2006
ACM
As Intrusion Detection Systems (IDS) utilize more complex syntax to efficiently describe complex attacks, their processing requirements increase rapidly. Hardware and, even more, ...
153
Voted
APSCC
2006
IEEE
15 years 7 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
125
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
105
Voted
DIS
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a full scaled application of induction trees for non-classificatory purposes. The grown trees are used for highlighting regional differences in the women's...
134
click to vote
RT
2000
Springer
15 years 7 months ago
2000
Springer
The photon map method allows efficient computation of global illumination in general scenes. Individual photon hits, generated using Monte Carlo particle tracing, are stored in the...