377 search results - page 76 / 76 » Advanced Microeconomic Theory |
SUM
2010
Springer
13 years 3 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...