Search Results - interations functional programming programming based https

1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

Table of Contents: “... Extensions -- Analysis of Asynchronous Programs with Event-Based Synchronization -- A Semantics...”
View full text

Electronic eBook

2

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...”
View full text

Electronic eBook

3

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
View full text

Electronic eBook

4

Expert One-on-One Oracle

by Kyte, Thomas., Kyte, Thomas.
Published 2005

Table of Contents: “... -- Autonomous Transactions -- Dynamic SQL -- interMedia -- C-Based External Procedures -- Java Stored Procedures...”
View full text

Electronic eBook

5

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Published 2008

Table of Contents: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
View full text

Electronic eBook

6

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... Techniques -- idsocket: API for Inter-domain Communications Base on Xen -- Strategy-Proof Dynamic Resource...”
View full text

Electronic eBook

7

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “...-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink...”
View full text

Electronic eBook

8

Electronic Engineering and Computing Technology

Published 2010

Table of Contents: “... Based Stainless Steel Slurry -- Voxel-Based Component Description for Functional Graded Parts -- A Multi...”
View full text

Electronic eBook

9

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “...-Unit Based Regular Expression Matching with Reconfigurable Function Unit -- Availability Analysis...”
View full text

Electronic eBook

10

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birt...

Published 2005

Table of Contents: “... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”
View full text

Electronic eBook

11

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Published 2014

Table of Contents: “...Secure Text Steganography -- Policy Based Energy Management in Smart Homes -- Saturation Throughput...”
View full text

Electronic eBook

12

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /

Published 2005

Table of Contents: “...Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block...”
View full text

Electronic eBook

13

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
View full text

Electronic eBook

14

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... Feature Extraction and Matching to Iris Recognition -- A Framework for Priority-Based Inter Vehicle...”
View full text

Electronic eBook

15

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings /

Published 2005

Table of Contents: “... Solution for Co-design in Radio Base Station DSP SW -- A Framework for Classification of Change Approaches...”
View full text

Electronic eBook

16

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Pro...

Published 2010

Table of Contents: “... an Ontology Based on Business Model Thinking -- The Role of Social Networks in Early Adoption of Mobile...”
View full text

Electronic eBook

17

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “.../EDF* -- Web Service Based Inter-AS Connection Managements for QoS-Guaranteed DiffServ Provisioning....”
View full text

Electronic eBook

18

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Published 2006

Table of Contents: “... Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE...”
View full text

Electronic eBook

19

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Published 2006

Table of Contents: “... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...”
View full text

Electronic eBook

20

Chemical Signals in Vertebrates 10

Published 2005

Table of Contents: “... by male house mice -- A possible function for female enurination in the mara, Dolichotis patagonum...”
View full text

Electronic eBook

Narrow Search