896 search results - page 9 / 180 » Stepwise Refinement of Processes |
205
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
202
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
302
Voted
FDL
2011
IEEE
14 years 6 months ago
2011
IEEE
Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...
148
click to vote
IMR
2004
Springer
16 years 23 hour ago
2004
Springer
This paper presents an automated tool for local, conformal refinement of all-hexahedral meshes based on the insertion of multidirectional twist planes into the spatial twist conti...