2006 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications
Like what you’re reading?
Already a member?Sign In
Related Articles
- Reasoning About Polymorphic Behavior
Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176) - Reasoning about Concurrent Objects
Proceedings 1995 Asia Pacific Software Engineering Conference - Reasoning about digital systems
1991 Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic - Modeling and Reasoning about Uncertainty in Context-Aware Systems
IEEE International Conference on e-Business Engineering (ICEBE'05) - Reasoning about confidentiality requirements
Proceedings The Computer Security Foundations Workshop VII - Reasoning About Software
1991 International Workshop on the HOL Theorem Proving System and Its Applications - Reasoning about Feature Models in Higher-Order Logic
Software Product Line Conference, International - Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering - Quantitative Reasoning about Cloud Security Using Service Level Agreements
IEEE Transactions on Cloud Computing - ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)