MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Refinement" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 105,198 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Refining the  
  • by Neuro-Connector Model Paul, Paul Wilson
  • …Refining the Neuro-Connector Model Paul Wilson MSc in Artificial Intelligence Division…
  • Add To MetaCart
  • Refine "Refine"  
  • by Paul A. Bailes, Murray Chapman, Ian Peake
  • …Refine "Refine" Paul A. Bailes Murray Chapman Ian Peake Centre for Software Maintenance Department…
  • Add To MetaCart
  • Refinement in Ergo  
  • by David Carrington, David Carrington, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Geoffrey Watson, Geoffrey Watson, Jim Welsh, Jim Welsh — 1995
  • … Queensland 4072 Australia TECHNICAL REPORT No. 94-44 Refinement in Ergo David Carrington, Ian Hayes, Ray…
  • Cited by 4 (1 self) – Add To MetaCart
  • Aspect Refinement  
  • by Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake — 2006
  • …Aspect Refinement Sven Apel, Christian Kästner, Thomas Leich, and Gunter Saake Department…
  • Cited by 1 (1 self) – Add To MetaCart
  • Compilation as Refinement  
  • by Karl Lermer, Colin Fidge, Karl Lermer Colin — 1997 — In Proc. FME ’93, LNCS 670
  • … Queensland 4072 Australia TECHNICAL REPORT No. 97-29 Compilation as refinement Karl Lermer Colin Fidge May…
  • Cited by 10 (4 self) – Add To MetaCart
  • Refinement Mapping for  
  • by General Discrete Event, P. Blauth Menezes, J. Félix Costa, A. Sernadas — 1996 — Proc. 5 th International Conference on Computer Aided Systems Theory and Technology, Lecture Notes in Computer Science 1030
  • …Refinement Mapping for General (Discrete Event) Systems Theory P. Blauth Menezes †, J. Félix Costa…
  • Add To MetaCart
  • Refinement Principles  
  • by Supporting The Transition, Ketil St Len — 1996
  • …We present three refinement principles supporting the transition from system specifications based on (unbounded) asynchronous communication to system specifications based on (bounded) synchronous communication. We refer to these principles as partial, total and conditional refinement, respectively. …
  • Add To MetaCart
  • Convergence Refinement  
  • by Murat Demirbas, Anish Arora
  • …Compilers in general and refinements in particular do not necessarily preserve fault-tolerance. That is, given a fault-tolerant system as input, the concrete implementation that is output may not be fault-tolerant. In this paper, we identify a special class of refinement, namely "convergence refinem…
  • Cited by 6 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB