5863 search results - page 740 / 1173 » On Model-Checking of P Systems |
184
click to vote
EUROCRYPT
2007
Springer
16 years 1 months ago
2007
Springer
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...
174
click to vote
MDM
2007
Springer
16 years 1 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...
194
click to vote
SEUS
2005
IEEE
16 years 14 days ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
170
click to vote
PPOPP
2005
ACM
16 years 13 days ago
2005
ACM
The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the use of tho...
154
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...