1699 search results - page 228 / 340 » On the Expressive Power of QLTL |
160
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
219
click to vote
WFLP
2009
Springer
16 years 23 days ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
163
click to vote
ICHIT
2009
Springer
16 years 22 days ago
2009
Springer
In this paper we provide an adaptive modulation approach that uses adaptive pilot symbols which both pilot spacing and power allocation on pilot symbols are optimized in single in...
176
click to vote
OOPSLA
2009
Springer
16 years 21 days ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
164
click to vote
CSFW
2008
IEEE
16 years 19 days ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...