5863 search results - page 1156 / 1173 » On Model-Checking of P Systems |
AAAI
2010
13 years 11 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
SIGCOMM
2010
ACM
13 years 11 months ago
2010
ACM
Data-intensive applications that operate on large volumes of data have motivated a fresh look at the design of data center networks. The first wave of proposals focused on designi...
SIGCOMM
2010
ACM
13 years 11 months ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
SIGCOMM
2010
ACM
13 years 11 months ago
2010
ACM
Recently, there has been much excitement in the research community over using social networks to mitigate multiple identity, or Sybil, attacks. A number of schemes have been propo...
AEI
2010
13 years 11 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...