Sciweavers

8023 search results - page 53 / 1605
» Internet Technology
Sort
View
WWW
2008
ACM
15 years 6 months ago
Automated Semantic Analysis of Schematic Data
Saikat Mukherjee, I. V. Ramakrishnan
125
Voted
DC
1998
15 years 5 months ago
Model Checking for a Probabilistic Branching Time Logic with Fairness
Christel Baier, Marta Z. Kwiatkowska
136
Voted
DC
1998
15 years 5 months ago
A Logical Approach to Multilevel Security of Probabilistic Systems
James W. Gray III, Paul F. Syverson
110
Voted
DC
1999
15 years 5 months ago
A Sound and Complete Algorithm for Distributed Commerce Transactions
Steven P. Ketchpel, Hector Garcia-Molina