890 search results - page 47 / 178 » Programming language methods in computer security |
105
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
113
click to vote
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
118
Voted
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
118
Voted
ENTCS
2006
15 years 13 days ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
99
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...