Search Results - communication communication ((fate decisions) OR (based decisions)) data proving

1

Distributed joint power control, beamforming and spectrum leasing for cognitive two-way relay networks

by Iranpanah, Havzhin
Published 2017

Subjects: “...Wireless communication systems...”
View full text

Thesis

2

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

Published 2005

Table of Contents: “... Programming and Proving: The ELAN Experience Outcomes -- Towards Flexible Graphical Communication Using...”
View full text

Electronic eBook

3

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

by Shahi, Ahmad, Sulaiman, Md. Nasir, Mustapha, Norwati, Perumal, Thinagaran
Published 2015

“...-intensive in nature. Conversely, performing decision making on these systems with a variety of building data...”
View full text

Article

4

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Published 2007

Table of Contents: “...Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational...”
View full text

Electronic eBook

5

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Published 2008

Table of Contents: “... of Proving Termination of Term Rewriting by Matrix Interpretations -- Extension of Rescheduling Based...”
View full text

Electronic eBook

6

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”
View full text

Electronic eBook

7

Computer Security - ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings /

Published 2007

Table of Contents: “... on Crypto-Enforced Unicast Links -- Towards Modeling Trust Based Decisions: A Game Theoretic Approach...”
View full text

Electronic eBook

8

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, Proceedings /

Published 2007

Table of Contents: “...-Based Evolutionary Group Decision Support Method for Emergency Response -- Lightweight Anomaly Intrusion...”
View full text

Electronic eBook

9

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

Published 2005

Table of Contents: “...-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization...”
View full text

Electronic eBook

10

Secure multi-authority attribute-based encryption with cache-aware scheduling for mobile cloud access control

by Jamal, Fara, Abdullah, Mohd Taufik, Mohd Hanapi, Zurina, Abdullah, Azizol
Published 2020

“... of the required data and the integrity in the decision to allow access to the data. The first line of defence...”

Article

11

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

Published 2010

Table of Contents: “... Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant...”
View full text

Electronic eBook

12

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”
View full text

Electronic eBook

13

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

Published 2006

Table of Contents: “... Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas...”
View full text

Electronic eBook

14

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Manipulating Lists with Unbounded Data -- Termination Analysis with Compositional Transition Invariants -- Lazy...”
View full text

Electronic eBook

15

Lighter than Air Robots Guidance and Control of Autonomous Airships /

by Bestaoui Sebbane, Yasmina., Bestaoui Sebbane, Yasmina.
Published 2012

Table of Contents: “... Artificial Potential Methods -- 3.4.3 Sampling based trajectory planning -- 3.4.4 Decoupled Trajectory...”
View full text

Electronic eBook

16

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... or Proving Their Absence -- Efficient Anytime Techniques for Model-Based Safety Analysis -- Boosting k...”
View full text

Electronic eBook

17

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amste...

Published 2013

Table of Contents: “... Modeling and HAZOP -- Multilevel Flow Modeling Based Decision Support System and Its Task Organization...”
View full text

Electronic eBook

18

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings /

Published 2007

Table of Contents: “... Multiparty Communication Complexity -- Session 9A -- New Approximation Algorithms for Minimum Cycle Bases...”
View full text

Electronic eBook

19

Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... latipes): A Decision Tree Approach -- Linear Algorithm and Hexagonal Search Based Two-Pass Algorithm...”
View full text

Electronic eBook

20

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
View full text

Electronic eBook

Narrow Search