Hakutulokset - testing framework adding functionality using https

1

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

Julkaistu 2008

Sisällysluettelo: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Hae kokoteksti

Elektroninen E-kirja

2

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... Genetic Algorithm Based Test Case Generation Using Sequence Diagrams -- LACAIS: Learning Automata Based...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2014

Sisällysluettelo: “... Testing -- Video Search using Map-Reduce Framework in an Education Cloud -- Multimedia Service Delivery...”
Hae kokoteksti

Elektroninen E-kirja

4

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Julkaistu 2007

Sisällysluettelo: “...Ubiquitous Computing Frameworks -- An Efficient Method to Create Business Level Events Using...”
Hae kokoteksti

Elektroninen E-kirja

5

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Algorithm in Automatic Software Testing -- Reliability Optimization of Complex Systems Using Genetic...”
Hae kokoteksti

Elektroninen E-kirja

6

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... -- Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study -- A Framework for Information...”
Hae kokoteksti

Elektroninen E-kirja

7

Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 2 /

Julkaistu 2015

Sisällysluettelo: “... of Hierarchical Data Aggregation Protocols used in Wireless Sensor Network -- Performance Analysis of IEEE 802.11...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2010

Sisällysluettelo: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2005

Sisällysluettelo: “... Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High...”
Hae kokoteksti

Elektroninen E-kirja

10

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”
Hae kokoteksti

Elektroninen E-kirja

11

Trends in Intelligent Systems and Computer Engineering

Julkaistu 2008

Sisällysluettelo: “... for Enterprise Applications -- A Framework for UML-Based Software Component Testing -- Extending the Service...”
Hae kokoteksti

Elektroninen E-kirja

12

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Julkaistu 2014

Sisällysluettelo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Hae kokoteksti

Elektroninen E-kirja

13

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Julkaistu 2013

Sisällysluettelo: “... Companies in Romania -- Comparison of PI and Fractional PI Controllers on a Hydraulic Canal Using Pareto...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2007

Sisällysluettelo: “... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”
Hae kokoteksti

Elektroninen E-kirja

15

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Hae kokoteksti

Elektroninen E-kirja

16

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Julkaistu 2013

Sisällysluettelo: “... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...”
Hae kokoteksti

Elektroninen E-kirja

17

Future Intelligent Information Systems Volume 1 /

Julkaistu 2011

Sisällysluettelo: “... -- Optimal Test Time and Power for System-on-Chip Designs Using Game Theory -- An electrochemical approach...”
Hae kokoteksti

Elektroninen E-kirja

18

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II /

Julkaistu 2012

Sisällysluettelo: “...-Subject Classification of Speaking Modes Using fNIRS -- Temporal Finite-State Machines: A Novel Framework...”
Hae kokoteksti

Elektroninen E-kirja

19

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Julkaistu 2007

Sisällysluettelo: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Hae kokoteksti

Elektroninen E-kirja

20

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Ontological Reasoning -- Selecting Regions of Interest in SPECT Images Using Wilcoxon Test for the Diagnosis...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua