10568 search results - page 692 / 2114 » Computer Intelligence and Formalization |
196
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspe...
256
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
While there is a large class
of Multiple-Target Tracking (MTT) problems for which batch
processing is possible and desirable, batch MTT remains relatively
unexplored in comparis...
231
click to vote
ISORC
2005
IEEE
16 years 24 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
192
click to vote
GC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
201
click to vote
NDSS
2003
IEEE
16 years 14 days ago
2003
IEEE
In this work we revisit and formally study the notion of proxy cryptography. Intuitively, various proxy functions allow two cooperating parties F (the “FBI”) and P (the “pro...