Search Sciweavers | Sciweavers

2730 search results - page 9 / 546

» An Abstract Model for Process Mediation

click to vote

SIPS
2007
IEEE

85views Signal Processing» more SIPS 2007»

Rapid Abstract Control Model for Signal Processing Implementation

15 years 3 months ago

Download www.ee.iitm.ac.in

Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan

claim paper

Read More »

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

15 years 4 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...

claim paper

Read More »

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 3 months ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

click to vote

ER
2006
Springer

101views Database» more ER 2006»

The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling

15 years 1 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

Voted

MODELLIERUNG
2008

81views Software Engineering» more MODELLIERUNG 2008»

Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers