899 search results - page 90 / 180 » A CTL-Based Logic for Program Abstractions |
83
Voted
AMI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
111
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
102
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
95
Voted
AI
2002
Springer
15 years 13 days ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
99
Voted
SIGIR
1998
ACM
15 years 4 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...