×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [model of time]
1 Introduction to Model Checking Ken McMillan Cadence Berkeley Labs
[email protected]
232 views
Ten Interesting Computer Scientists Dr. Raymond Greenlaw Armstrong Atlantic State University School of Computing
215 views
The challenge: Asset pricing:bubbles fire sales liquidity spirals segmented markets Corporate/macro: financing/capital constraints
221 views
Brad Story Speech, Language, and Hearing Sciences University of Arizona Research supported by NIH R01-04789 Advances in Speech Synthesis ASA Fall 2009
214 views
Learning From YOUR Law Firm Leaders - NALP PDI 2013
149 views
RMCC: A RESTful Mobile Cloud Computing Framework for Exploiting Adjacent Service-based Mobile Cloudlets
177 views
Ten Computer Science Breakthroughs Dr. Raymond Greenlaw Armstrong Atlantic State University School of Computing
220 views
FACT, TIME, & SPACE RATHACHAI C V. 0.2 Draft. PART 1 31-OCT-2011
219 views
Review of the automata-theoretic approach to model-checking
224 views
Chess Review May 11, 2005 Berkeley, CA Discrete-Event Systems: Generalizing Metric Spaces and Fixed-Point Semantics Adam Cataldo Edward Lee Xiaojun Liu
217 views
Rahul Telang1 Provision of Software Quality in the Presence of Patching Technology Rahul Telang With Ashish Arora and Jon Caulkins The Heinz School
217 views
SLR towards mm accuracy
34 views
Next >