5863 search results - page 1092 / 1173 » On Model-Checking of P Systems |
153
click to vote
SPAA
2003
ACM
15 years 9 months ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
135
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
125
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...
125
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Lithium-ion batteries are the core of new plug-in hybrid-electrical vehicles (PHEV) as well as considered in many 2nd generation hybrid electric vehicles (HEV). In most cases t...
139
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...