Sciweavers

1382 search results - page 49 / 277
» Formal Analysis of Online Algorithms
Sort
View
FOCI
2007
IEEE
16 years 4 days ago
Waiting time analysis of foreign currency exchange rates: Beyond the renewal-reward theorem
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...
Naoya Sazuka, Jun-ichi Inoue
WWW
2007
ACM
16 years 6 months ago
Analyzing web access control policies
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
Vladimir Kolovski, James A. Hendler, Bijan Parsia
TPDS
1998
71views more  TPDS 1998»
15 years 5 months ago
Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability
—Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency ...
Jichiang Tsai, Sy-Yen Kuo, Yi-Min Wang
AI
2003
Springer
15 years 11 months ago
Multi-attribute Exchange Market: Theory and Experiments
The Internet has opened opportunities for efficient on-line trading, and researchers have developed algorithms for various auctions, as well as exchanges for standardized commoditi...
Eugene Fink, Josh Johnson, John Hershberger 0002
ICDAR
2003
IEEE
15 years 11 months ago
Indexing and Retrieval of On-line Handwritten Documents
Recent advances in on-line data capturing technologies and its widespread deployment in devices like PDAs and notebook PCs is creating large amounts of handwritten data that need ...
Anil K. Jain, Anoop M. Namboodiri