Search Sciweavers | Sciweavers

13917 search results - page 72 / 2784

» Abstraction of Probabilistic Systems

104

Voted

ISSS
2002
IEEE

111views Hardware» more ISSS 2002»

System-Level Abstraction Semantics

15 years 9 months ago

Download users.ece.utexas.edu

Daniel Gajski, Andreas Gerstlauer

claim paper

Read More »

111

click to vote

SUM
2009
Springer

105views Information Technology» more SUM 2009»

Bridging the Gap between Abstract Argumentation Systems and Logic

15 years 9 months ago

Download www.irit.fr

Leila Amgoud, Philippe Besnard

claim paper

Read More »

114

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Automatic Abstraction for Verification of Timed Circuits and Systems

15 years 9 months ago

Download www.csee.usf.edu

Hao Zheng, Eric Mercer, Chris J. Myers

claim paper

Read More »

108

click to vote

DSVIS
2001
Springer

121views Human Computer Interaction» more DSVIS 2001»

Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems

15 years 9 months ago

Download research.cs.queensu.ca

Kevin A. Schneider, James R. Cordy

claim paper

Read More »

Voted

DATE
2000
IEEE

81views Hardware» more DATE 2000»

Abstraction from Counters: An Application on Real-Time Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers