Sciweavers

2556 search results - page 2 / 512
» The Triconnected Abstraction of Process Models
Sort
View
SIPS
2007
IEEE
13 years 11 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»
13 years 12 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
ACCV
2010
Springer
13 years 11 days 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
13 years 10 months ago
An Abstract Model for Process Mediation
Michael Altenhofen, Egon Börger, Jens Lemcke