405 search results - page 33 / 81 » Open Systems Formal Evaluation Process |
108
click to vote
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
ICDCSW
2005
IEEE
15 years 4 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
While provenance has been extensively studied in the literature, the efficient evaluation of provenance queries remains an open problem. Traditional query optimization techniques...
RTCSA
2007
IEEE
15 years 5 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
MIS
2001
Springer
15 years 3 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...