Sciweavers

2556 search results - page 2 / 512
» The Triconnected Abstraction of Process Models
Sort
View
SIPS
2007
IEEE
14 years 1 months ago
Rapid Abstract Control Model for Signal Processing Implementation
Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan
FM
2009
Springer
90views Formal Methods» more  FM 2009»
14 years 2 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
ACCV
2010
Springer
13 years 2 months ago
Spatiotemporal Contour Grouping Using Abstract Part Models
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
Pablo Sala, Diego Macrini, Sven J. Dickinson
ICFEM
2005
Springer
14 years 28 days ago
An Abstract Model for Process Mediation
Michael Altenhofen, Egon Börger, Jens Lemcke