Systems Research Group Systems Research Group Systems Software Research Group @ University of Illinois at Urbana-Champaign
  • About SRG
  • Research
  • People
  • Publications
  • Alumni
  • Past Projects
  • Login
Home

pervasive computing

Provably Correct Pervasive Computing Environments

Submitted by rhc on Thu, 03/26/2009 - 22:28

 
  • Ambient Calculus
  • Formal Methods
  • Model Checking
  • paper
  • pervasive computing
  • Verification
Provably Correct Pervasive Computing Environments, Ranganathan, Anand, and Campbell Roy H. , Percom 2008, Hong Kong, p.160-169, (2008)

Ubiquitous Computing

 
  • gaia
  • mobile
  • pervasive computing

 Publications

Conference Deadlines

 
  • cloud
  • conference
  • pervasive computing
  • publications
  • security

  

 

Past Projects

 
  • gaia
  • pervasive computing
  • software defined radios

GAIA Project

  • Read more
Syndicate content