<--- Back to Details
First PageDocument Content
Software / Geosocial networking / Foursquare / Check-in / Google Maps / Social networking service / Internet privacy / Swarm
Date: 2012-07-11 10:19:52
Software
Geosocial networking
Foursquare
Check-in
Google Maps
Social networking service
Internet privacy
Swarm

Microsoft Word - ubip232-wu.docx

Add to Reading List

Source URL: zhang.ist.psu.edu

Download Document from Source Website

File Size: 228,26 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Model checkers / Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Model checking / Search algorithms / Formal verification / SPIN model checker / Verification / Swarm behaviour / Promela

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

DocID: 1xUKZ - View Document

Lipari School on Computational Complex and Social Systems: From swarm intelligence to digital democracy: new tools for a complex society JulyLipari Island, Italy SCHOOL SCHEDULE

DocID: 1xU2g - View Document

Aquatic ecology / Behavior / Crowds / Fisheries / Swarm behaviour / Zoology / Swarm robotics / Robot / Model checking / Swarm / Metaphysics / Action philosophy)

Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty

DocID: 1xTg0 - View Document

Nr.: FINEvaluation Platform for Micro Aerial Indoor Swarm Robotics Christoph Steup, Sanaz Mostaghim, Sebastian Mai Intelligente Systeme

DocID: 1vrme - View Document