2881 search results - page 498 / 577 » Model Checking for Programming Languages using Verisoft |
184
click to vote
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
140
click to vote
IPPS
2007
IEEE
15 years 11 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 ...
140
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
119
Voted
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
143
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...