×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [temporal specifications]
Software Model Checking for Confidentiality Rajeev Alur University of Pennsylvania Joint work with Pavol Cerny
221 views
Perspectives on Quantum Universal Philosohy
1.325 views
A possibilistic Valid Time Model
153 views
Ontology-based Representation and Reasoning about the History of Science
36 views
Web Archiving and Access Mike Smorul Joseph JaJa ADAPT Group University of Maryland, College Park
214 views
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence Robert Dyer Bowling Green State University Tien
218 views