1268 search results - page 17 / 254 » Verifying distributed systems: the operational approach |
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
The conventional approach for building pervasive environments relies on middleware to integrate different systems. Instead, we have built a system that can deal with these environ...
PVM
2007
Springer
14 years 4 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
TITB
2010
13 years 4 months ago
2010
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
SRDS
2008
IEEE
14 years 4 months ago
2008
IEEE