Search Sciweavers | Sciweavers

10275 search results - page 215 / 2055

» Case Studies of Autonomy

171

click to vote

CAV
1998
Springer

103views Hardware» more CAV 1998»

You Assume, We Guarantee: Methodology and Case Studies

15 years 10 months ago

Download www.cs.berkeley.edu

Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...

claim paper

Read More »

175

click to vote

SIGCSE
1998
ACM

310views Education» more SIGCSE 1998»

Traffic simulation: a case study for teaching object oriented design

15 years 10 months ago

Download www.ccs.neu.edu

act In teaching object oriented design, it is important for students to work on projects that use a variety of design patterns, interaction between objects, and provide the opportu...

Viera K. Proulx

claim paper

Read More »

181

click to vote

VRML
1998
ACM

122views Internet Technology» more VRML 1998»

VRML in Architectural Construction Documents: A Case Study

15 years 10 months ago

Download www.ece.uwaterloo.ca

The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...

Dace A. Campbell

claim paper

Read More »

122

click to vote

HYBRID
1998
Springer

148views Control Systems» more HYBRID 1998»

Hybrid Control of Automotive Powertrain Systems: A Case Study

15 years 10 months ago

Download www.ece.eng.wayne.edu

Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashank...

claim paper