3951 search results - page 524 / 791 » Automatic amortized analysis |
176
click to vote
EUROMICRO
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
195
click to vote
ICDE
2006
IEEE
16 years 22 days ago
2006
IEEE
In recent years, corporate governance has become a more and more important concern in investment decision-making. As one of the most important factors in evaluating corporate gove...
160
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
An execution environment consisting of virtual machines (VMs) interconnected with a virtual overlay network can use the naturally occurring traffic of an existing, unmodified ap...
199
click to vote
ACMSE
2006
ACM
16 years 20 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
170
click to vote
CSCW
2006
ACM
16 years 19 days ago
2006
ACM
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...