2421 search results - page 459 / 485 » Integrity Assurance Technique Using Determinant Approach |
122
Voted
IPTPS
2005
Springer
15 years 9 months ago
2005
Springer
Stream-based overlay networks (SBONs) are one approach to implementing large-scale stream processing systems. A fundamental consideration in an SBON is that of service placement, ...
140
Voted
LISA
2007
15 years 6 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
140
Voted
DAGSTUHL
2010
15 years 5 months ago
2010
The display of surfaces and solids has usually been restricted to the domain of scientific visualization; however, little work has been done on the visualization of surfaces and s...
115
Voted
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...
176
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...