3440 search results - page 620 / 688 » Logics For Context-Free Languages |
174
click to vote
ADHOCNOW
2008
Springer
16 years 22 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
168
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
199
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
177
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
193
click to vote
SECON
2007
IEEE
16 years 19 days ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...