1114 search results - page 142 / 223 » An Architecture for Peer-to-peer Reasoning |
157
click to vote
SBACPAD
2008
IEEE
16 years 23 days ago
2008
IEEE
Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies exami...
127
click to vote
ICDE
2007
IEEE
16 years 21 days ago
2007
IEEE
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
176
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
201
click to vote
PPAM
2007
Springer
16 years 15 days ago
2007
Springer
For about ten years now, Bo K˚agstr¨om’s Group in Umea, Sweden, Jerzy Wa´sniewski’s Team at Danish Technical University in Lyngby, Denmark, and I at IBM Research in Yorktown...
197
click to vote
ICAC
2006
IEEE
16 years 12 days ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...