Rezultaty - communication communication ((fate decisions) OR (make decisions)) a proving

1

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Wydane 2005

Spis treści: “... Programming and Proving: The ELAN Experience Outcomes -- Towards Flexible Graphical Communication Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Integrated bi-objective model for cellular manufacturing system

od Houshyar, Afsaneh Nouri
Wydane 2014

Hasła przedmiotowe: “...Mobile communication systems...”
Dokumenty pełnotekstowe

Thesis

3

Naive Bayesian decision model for the interoperability of heterogeneous systems in an intelligent building environment

od Shahi, Ahmad, Sulaiman, Md. Nasir, Mustapha, Norwati, Perumal, Thinagaran
Wydane 2015

“...-intensive in nature. Conversely, performing decision making on these systems with a variety of building data...”
Dokumenty pełnotekstowe

Artykuł

4

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Wydane 2010

Spis treści: “... Information -- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010, Proceedings /

Wydane 2010

Spis treści: “... Decision-Making Processes -- An Expert System for Inventory Replenishment Optimization -- A Threshold Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Wydane 2005

Spis treści: “... of Complex Networks -- A Study of an Iterated Local Search on the Reliable Communication Networks Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Neurocritical Care A Guide to Practical Management /

Wydane 2010

Dokumenty pełnotekstowe

Elektroniczne E-book

10

Designing Democracy Ideas for Better Rules /

od Gersbach, Hans A., Gersbach, Hans A.
Wydane 2005

Spis treści: “... Incentives and Monetary Rewards -- Limits to Incentive Contracts in Politics -- Rules for Decision-Making...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- Foundations of Agile Decision Making from Agile Mentors and Developers -- Software Development as a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Wydane 2005

Spis treści: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Workgroup computing implementation at PCP Company /

od Lee, Wee Chan.

Thesis Książka

14

Adaptable decentralized orchestration engine for block structured non-transactional workflow in service oriented architecture.

od Esfahani, Faramarz Safi
Wydane 2011

“... adaptability aspects; v) A Fuzzy Decentralization Decision Making algorithm (FDDM) is presented based...”
Dokumenty pełnotekstowe

Thesis

15

Adaptable decentralized orchestration engine for block structured non-transactional workflow in service oriented architecture

od Esfahani, Faramarz Safi
Wydane 2011

“... and proportionalfragment adaptability aspects; v) A Fuzzy Decentralization Decision Making algorithm (FDDM) is presented...”
Dokumenty pełnotekstowe

Thesis

Redukuj rezultaty