5863 search results - page 895 / 1173 » On Model-Checking of P Systems |
185
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—Power has recently been recognized as one of the major obstacles in fielding a Peta-FLOPs class system. To reach Exa-FLOPs, the challenge will certainly be compounded. In this ...
188
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
174
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Publish-subscribe-query information broker middleware offers great promise to users of pervasive computing systems requiring access to information. However, users of publish-subscr...
174
click to vote
UIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Portable computers are used to store and access sensitive information. They are frequently used in insecure locations with little or no physical protection, and are there...
147
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...