10500 search results - page 1957 / 2100 » Documentation for |
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
CHI
2009
ACM
14 years 3 months ago
2009
ACM
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...
IDTRUST
2009
ACM
14 years 3 months ago
2009
ACM
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
This paper introduces LDA-G, a scalable Bayesian approach to finding latent group structures in large real-world graph data. Existing Bayesian approaches for group discovery (suc...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...