12774 search results - page 309 / 2555 » A Framework for Proof Systems |
158
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
— In distributed heterogeneous Grid environments the protocols used to exchange bits are crucial. As researchers work hard to discover the best new protocol for the Grid, applica...
160
click to vote
ESCIENCE
2006
IEEE
16 years 24 days ago
2006
IEEE
Many areas of science currently use computing resources as a important part of their research, and many research groups adopt cluster architecture to use them efficiently and mana...
156
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
157
click to vote
IMC
2004
ACM
16 years 5 days ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
172
click to vote
IQIS
2004
ACM
16 years 5 days ago
2004
ACM
Data freshness has been identified as one of the most important data quality attributes in information systems. This importance increases particularly in the context of distribute...