3616 search results - page 606 / 724 » Conditional Memory Ordering |
122
click to vote
IFM
2010
Springer
15 years 23 days ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
IGPL
2010
15 years 23 days ago
2010
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
114
click to vote
IJCAT
2010
15 years 22 days ago
2010
—Breast cancer is one of the most prevalent forms of cancer in the world today. The search for effective treatment and screening methods is a highly active area of research. The ...
140
Voted
INFOCOM
2010
IEEE
15 years 21 days ago
2010
IEEE
—Wireless sensor network (WSN) applications require redundant sensors to guarantee fault tolerance. However, the same degree of redundancy is not necessary for multi-hop communic...
122
click to vote
INFORMATICALT
2010
15 years 21 days ago
2010
Abstract. Delegation of rights is a common practice in the real world. We present two identitybased threshold proxy signature schemes, which allow an original signer to delegate he...