2025 search results - page 183 / 405 » Minimal-Cut Model Composition |
151
click to vote
CSL
1992
Springer
15 years 8 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
155
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
132
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
128
click to vote
BMCBI
2008
2008
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
15 years 4 months ago
Background: Malaria parasite secretes various proteins in infected RBC for its growth and survival. Thus identification of these secretory proteins is important for developing vac...
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...