Arama Sonuçları - interface automata programming programming constraint https

1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”
Tam Metin Erişim

Elektronik Ekitap

2

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Tam Metin Erişim

Elektronik Ekitap

3

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Tam Metin Erişim

Elektronik Ekitap

4

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Avoiding Controllability Problems in Distributed Testing -- Generating Test Cases for Constraint Automata...”
Tam Metin Erişim

Elektronik Ekitap

5

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata...”
Tam Metin Erişim

Elektronik Ekitap

6

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... on Heterogeneous Distributed Systems Using Learning Automata -- Visualization of the Similar Protein Structures...”
Tam Metin Erişim

Elektronik Ekitap

7

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
Tam Metin Erişim

Elektronik Ekitap

8

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

İçindekiler: “....- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Tam Metin Erişim

Elektronik Ekitap

10

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II...

Baskı/Yayın Bilgisi 2012

İçindekiler: “...-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice...”
Tam Metin Erişim

Elektronik Ekitap

11

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Tam Metin Erişim

Elektronik Ekitap

12

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Tam Metin Erişim

Elektronik Ekitap

13

KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Verification of Behaviour Networks Using Finite-State Automata -- Formal Semantics of Model Fields...”
Tam Metin Erişim

Elektronik Ekitap

14

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”
Tam Metin Erişim

Elektronik Ekitap

15

Advances in Multimedia Information Processing -- PCM 2010, Part I 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Concerning Model-Based Background Subtraction -- Efficient Temporal Segmentation for Sports Programs...”
Tam Metin Erişim

Elektronik Ekitap

16

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
Tam Metin Erişim

Elektronik Ekitap

17

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Tam Metin Erişim

Elektronik Ekitap

18

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...”
Tam Metin Erişim

Elektronik Ekitap

19

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Tam Metin Erişim

Elektronik Ekitap

20

Computers, Networks, Systems, and Industrial Engineering 2011

Baskı/Yayın Bilgisi 2011

İçindekiler: “... Engineering -- Modeling for Gesture Set Design Toward Realizing Effective Human-Vehicle Interface -- A Power...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt