Suchergebnisse - processing java papers contributed java https

1

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004...

Veröffentlicht 2005

Inhaltsangabe: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
Volltext

Elektronisch E-Book

2

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Volltext

Elektronisch E-Book

3

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Veröffentlicht 2006

Inhaltsangabe: “...’ Contributions -- Using Java CSP Solvers in the Automated Analyses of Feature Models -- Co-transformations...”
Volltext

Elektronisch E-Book

4

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Veröffentlicht 2007

Inhaltsangabe: “... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”
Volltext

Elektronisch E-Book

5

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Veröffentlicht 2010

Inhaltsangabe: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2006

Inhaltsangabe: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Volltext

Elektronisch E-Book

8

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Veröffentlicht 2013

Inhaltsangabe: “...Abstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata...”
Volltext

Elektronisch E-Book

9

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
Volltext

Elektronisch E-Book

10

Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005 and EIAE 2005 /

Veröffentlicht 2006

Schlagworte: “...Optical data processing....”
Volltext

Elektronisch E-Book

11

Information Systems Development Reflections, Challenges and New Directions /

Veröffentlicht 2013

Inhaltsangabe: “... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”
Volltext

Elektronisch E-Book

12

Enterprise Interoperability III New Challenges and Industrial Approaches /

Veröffentlicht 2008

Inhaltsangabe: “... Case Study -- Cross-organizational Collaboration and Cross-sectoral Processes -- A Service-oriented...”
Volltext

Elektronisch E-Book

13

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...”
Volltext

Elektronisch E-Book

14

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented...”
Volltext

Elektronisch E-Book

15

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- Object-Oriented Language Processing -- A Framework for Modular Linking in OO Languages -- Flexible Type...”
Volltext

Elektronisch E-Book

16

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Volltext

Elektronisch E-Book

17

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Veröffentlicht 2008

Inhaltsangabe: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Volltext

Elektronisch E-Book

18

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...Invited Contributions -- Residual Checking of Safety Properties -- The Case for Context-Bounded...”
Volltext

Elektronisch E-Book

19

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Volltext

Elektronisch E-Book

20

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Cre...

Veröffentlicht 2007

Inhaltsangabe: “... Without Certificates -- Smart Card -- Performance Evaluation of Java Card Bytecodes -- Reverse Engineering...”
Volltext

Elektronisch E-Book

Suche einschränken