Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
481	Institute of Architecture of Application Systems Approach and Refinement Strategies for Flexible Choreography Enactment Andreas Weiß, Santiago Gómez Sáez, Michael Hahn, Dimka Karastoyanova Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2014-09-11 04:39:05 Process management Business Business Process Execution Language Workflow Orchestration Activity diagram Workflow technology Systems engineering Management
482	Institute of Architecture of Application Systems Compliant Business Process Design Using Refinement Layers Daniel Schleicher, Tobias Anstett, Frank Leymann, and David Schumm Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2011-02-02 08:34:21 Enterprise modelling Systems science Business process Business models Regulatory compliance Business requirements Process modeling Design Process management Systems engineering Management
483	Sage Reference Manual: Monoids Release 6.6.beta0 The Sage Development Team February 21, 2015 Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:19 Semigroup theory Formal languages Algebraic structures Combinatorics on words Monoid Free monoid Category Refinement monoid Abstract algebra Algebra Category theory
484	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics
485	¨t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:24 Software engineering Abstract state machines Electronic commerce Communications protocol Mondex Smart card Program refinement E Purse Computing Formal methods Payment systems
486	¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:46 Theoretical computer science Applied mathematics Computer programming Program refinement Abstract state machines Formal verification Formal specification Communications protocol ALGOL 68 Formal methods Computing Software engineering
487	Guidance for estimating measures of 3Rs impact Please describe: 1) which of the 3Rs the proposed research will advance; 2) how the replacement, refinement and/or reduction would be achieved; and 3) the likely scale of re Add to Reading List Source URL: www.physoc.org Language: English - Date: 2013-11-27 05:32:53 Animal testing Animal cruelty Animal law Cruelty to animals Basel Declaration Tatsuji Nomura Animal rights Animal welfare Biology
488	Incremental Data-Driven Refinement of Knowledge Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 05:53:22 Logic Automated theorem proving Mathematical logic Resolution FO Cover Backtracking Mathematics Theoretical computer science Search algorithms
489	Noname manuscript No. (will be inserted by the editor) Tool Support for Refinement of Non-functional Specifications Simone R¨ottger, Steffen Zschaler Technische Universit¨at Dresden Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2007-04-16 11:33:34 Information integration theory Social psychology Architecture description language Monad Systems engineering Model-driven architecture Vienna Development Method Combinatory logic Software engineering Design Cognition
490	50th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition[removed]January 2012, Nashville, Tennessee AIAA[removed]An Output-Based Dynamic Order Refinement Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2012-03-09 23:00:09 Adaptive mesh refinement Hp-FEM Mathematics Abstract algebra Dimension

UPDATE