Sciweavers

8023 search results - page 53 / 1605
» Internet Technology
Sort
View
WWW
2008
ACM
15 years 4 months ago
Automated Semantic Analysis of Schematic Data
Saikat Mukherjee, I. V. Ramakrishnan
104
Voted
DC
1998
15 years 4 months ago
Model Checking for a Probabilistic Branching Time Logic with Fairness
Christel Baier, Marta Z. Kwiatkowska
115
Voted
DC
1998
15 years 4 months ago
A Logical Approach to Multilevel Security of Probabilistic Systems
James W. Gray III, Paul F. Syverson