Sciweavers

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