1194 search results - page 230 / 239 » Programming Support for Distributed Clustercomputing |
152
click to vote
CCS
2009
ACM
16 years 19 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
155
click to vote
TACAS
2009
Springer
16 years 18 days ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
146
click to vote
CSE
2009
IEEE
16 years 18 days ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
179
click to vote
DIS
2009
Springer
16 years 12 days ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
192
click to vote
ANSS
2007
IEEE
16 years 5 days ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...