656 search results - page 6 / 132 » A Formalization of Transition P Systems |
172
click to vote
SOSYM
2011
14 years 10 months ago
2011
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
131
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
129
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
160
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
- Vulnerabilities related to weak passwords are a pressing global economic and security issue. We report a novel, simple, and effective approach to address the weak password probl...
150
Voted
CONEXT
2008
ACM
15 years 5 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...