Search Sciweavers | Sciweavers

14331 search results - page 246 / 2867

» On the modeling and analysis of obligations

142

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 11 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

149

click to vote

IPPS
1998
IEEE

99views Distributed And Parallel Com...» more IPPS 1998»

A Performance Modeling and Analysis Environment for Reconfigurable Computers

15 years 10 months ago

Download ipdps.cc.gatech.edu

Jeffrey Walrath, Ranga Vemuri

claim paper

Read More »

132

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

130

click to vote

FGR
1996
IEEE

100views Biometrics» more FGR 1996»

Facial Analysis and Synthesis Using Image-Based Models

15 years 10 months ago

Download people.csail.mit.edu

Tony Ezzat, Tomaso Poggio

claim paper

Read More »

160

click to vote

ICDE
1993
IEEE

117views Database» more ICDE 1993»

Data Quality Requirements Analysis and Modeling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers