Search Sciweavers | Sciweavers

5863 search results - page 352 / 1173

» On Model-Checking of P Systems

137

Voted

SIAMCO
2002

64views more SIAMCO 2002»

Simple Mechanical Control Systems with Constraints and Symmetry

15 years 7 months ago

Download tintoretto.ucsd.edu

J. Cortés, S. Martínez, J. P. Ostrow...

claim paper

Read More »

140

click to vote

TOMACS
1998

60views more TOMACS 1998»

Automatic Modeling of File System Workloads Using Two-Level Arrival Processes

15 years 7 months ago

Download www.cparity.com

Peter P. Ware, Thomas W. Page Jr., Barry L. Nelson

claim paper

Read More »

142

click to vote

TOPLAS
1998

55views more TOPLAS 1998»

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

15 years 7 months ago

Download www.cparity.com

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

claim paper

Read More »

156

Voted

ESWA
2010

89views more ESWA 2010»

A visual programming system for automated problem solving

15 years 6 months ago

Download lpis.csd.auth.gr

Ourania Hatzi, Dimitris Vrakas, Nick Bassiliades, ...

claim paper

Read More »

165

Voted

IJDAR
2010

75views more IJDAR 2010»

Generation of synthetic documents for performance evaluation of symbol recognition & spotting systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers