Sciweavers

896 search results - page 15 / 180
» Stepwise Refinement of Processes
Sort
View
63
Voted
ASAP
2002
IEEE
70views Hardware» more  ASAP 2002»
15 years 2 months ago
Refining Instruction Set Architecture for High-Performance Multimedia Processing in Constrained Environments
Ruby B. Lee, A. Murat Fiskiran, Zhijie Shi, Xiao Y...
77
Voted
LICS
1989
IEEE
15 years 1 months ago
Towards Action-Refinement in Process Algebras
Luca Aceto, Matthew Hennessy
JNSM
2007
65views more  JNSM 2007»
14 years 9 months ago
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture
Romain Laborde, Michel Kamel, François Barr...
BPM
2010
Springer
179views Business» more  BPM 2010»
14 years 9 months ago
Value-Oriented Coordination Process Modeling
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
Hassan Fatemi, Marten van Sinderen, Roel Wieringa