Sciweavers

4421 search results - page 350 / 885
» Libraries
Sort
View
ARGMAS
2008
Springer
15 years 8 months ago
Annotation and Matching of First-Class Agent Interaction Protocols
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...
Tim Miller, Peter McBurney
CCS
2008
ACM
15 years 8 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
JCDL
2010
ACM
150views Education» more  JCDL 2010»
15 years 8 months ago
Interpretation of web page layouts by blind users
Digital libraries must support assistive technologies that allow people with disabilities such as blindness to use, navigate and understand their documents. Increasingly, many doc...
Luis Francisco-Revilla, Jeff Crow
CASES
2005
ACM
15 years 8 months ago
Automating custom-precision function evaluation for embedded processors
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne ...
DAC
2005
ACM
15 years 8 months ago
Keeping hot chips cool
With 90nm CMOS in production and 65nm testing in progress, power has been pushed to the forefront of design metrics. This paper will outline practical techniques that are used to ...
Ruchir Puri, Leon Stok, Subhrajit Bhattacharya