Sciweavers

2730 search results - page 9 / 546
» An Abstract Model for Process Mediation
Sort
View
SIPS
2007
IEEE
15 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»
15 years 11 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
113
Voted
ER
2006
Springer
101views Database» more  ER 2006»
15 years 8 months ago
The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling
Yang Xiao, Susan Darling Urban, Ning Liao