Search Sciweavers | Sciweavers

895 search results - page 1 / 179

» A User Guide to HyTech

click to vote

TACAS
1995
Springer

94views Algorithms» more TACAS 1995»

A User Guide to HyTech

13 years 9 months ago

Download www.eecs.berkeley.edu

HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi

claim paper

Read More »

click to vote

HYBRID
1994
Springer

76views Control Systems» more HYBRID 1994»

HYTECH: The Cornell HYbrid TECHnology Tool

13 years 9 months ago

Download www.cs.berkeley.edu

This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

click to vote

ASSETS
2010
ACM

298views Emerging Technology» more ASSETS 2010»

Accessibility by demonstration: enabling end users to guide developers to web accessibility solutions

13 years 3 months ago

Download hci.cs.rochester.edu

Few web developers have been explicitly trained to create accessible web pages, and are unlikely to recognize subtle accessibility and usability concerns that disabled people face...

Jeffrey P. Bigham, Jeremy T. Brudvik, Bernie Zhang

claim paper

Read More »

click to vote

IOR
2010

71views more IOR 2010»

A User's Guide to Solving Dynamic Stochastic Games Using the Homotopy Method

13 years 3 months ago

Download www.andrew.cmu.edu

Ron N. Borkovsky, Ulrich Doraszelski, Yaroslav Kry...

claim paper

Read More »