3951 search results - page 324 / 791 » Automatic amortized analysis |
152
click to vote
ICDM
2006
IEEE
16 years 22 days ago
2006
IEEE
Interpersonal interaction plays an important role in organizational dynamics, and understanding these interaction networks is a key issue for any organization, since these can be ...
159
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
196
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
203
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
213
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...