5084 search results - page 263 / 1017 » Proving Possibility Properties |
179
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
174
click to vote
ICNP
2006
IEEE
16 years 19 days ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...
167
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
A new and fast method for dominant point detection and polygonal representation of a discrete curve is proposed. Starting from results of discrete geometry [1, 2], the notion of m...
255
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
150
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...