Isse - PDFSEARCH.IO - Document Search Engine

Isse
Results: 196

#	Item
111	Parassitologia 47: 81-96, 2005 Application of Geographical Information Systems and Remote Sensing technologies for assessing and monitoring malaria risk P. Ceccato1, S.J. Connor1, I. Jeanne2, M.C. Thomson1 Add to Reading List Source URL: www.isse.ucar.edu Language: English - Date: 2006-07-13 01:46:34 Biology Anopheles Normalized Difference Vegetation Index Plasmodium falciparum Mosquito net Vector control Remote sensing Plasmodium Wetland Malaria Medicine Health
112	doi:[removed]j.gloenvcha[removed] Add to Reading List Source URL: www.isse.ucar.edu Language: English - Date: 2007-02-26 13:35:23 Ethics Environmental economics Current sea level rise Oceanography Physical oceanography Intergovernmental Panel on Climate Change Social vulnerability Environmental impact assessment Risk Environment Earth Effects of global warming
113	Using Java for Real-Time Critical Industrial Robot Programming Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif II. G OALS Based on this vision, SoftRobot aimed to develop an object-ori Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:10 Industrial robotics Industrial robot Manufacturing Robots Robot KUKA ROS Open-source robotics Cognitive robotics Technology Business Robotics
114	Verification of B+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving ? Gidon Ernst, Gerhard Schellhorn, and Wolfgang Reif {ernst,schellhorn,reif}@informatik.uni-augsburg.de University of Augsb Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:17:33 Data management R-tree B+ tree T-tree Heap Tree Ternary tree Binary search tree Binary trees B-tree Graph theory
115	Verifying Security Protocols: An ASM Approach. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn Lehrstuhl f¨ ur Softwaretechnik und Programmiersprachen Institut f¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:17 Dolev-Yao model Public-key cryptography Email Needham–Schroeder protocol Cryptographic protocols Cryptography Computing
116	UITP 2005 Preliminary Version The User Interface of the KIV Verification System — A System Description Dominik Haneberg, Simon B¨aumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:17 Formal methods Automated theorem proving Proof assistant ACL2 KeY Theorem Isabelle Mathematical logic Formal verification Mathematics Theoretical computer science Mathematical software
117	ELECTRONIC-ONBOARD-TICKETING: SOFTWARE CHALLENGES OF AN STATE-OF-THE-ART M-COMMERCE APPLICATION Dominik Haneberg, Kurt Stenzel, Wolfgang Reif Lehrstuhl für Softwaretechnik und Programmiersprachen Fakultät für Angewand Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:19 Electronic commerce Tickets Bluetooth Mobile commerce Personal digital assistant Automated teller machine Issue tracking system Server Mobile ticketing Technology Mobile computers Mobile technology
118	Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel Lehrstuhl f¨ur Softwaretechnik und Programmiersprachen Fakult¨at f¨ur Informatik Universit¨at Augsburg D-8613 Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:19 Information Data Ubiquitous computing Java Card Unified Modeling Language Communications protocol Card reader Formal methods Cryptographic protocol Smart cards Computing ISO standards
119	Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel Lehrstuhl f¨ur Softwaretechnik und Programmiersprachen Fakult¨at f¨ur Informatik Universit¨at Augsburg D-8613 Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:18 ISO standards Software engineering Ubiquitous computing Electronic commerce Card reader Java Card Activity diagram Cryptographic protocol Diagram Smart cards Computing Security
120	Using Java for Real-Time Critical Industrial Robot Programming Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif Software Development for Industrial Robots Current situation Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:10 Industrial robot Robot KUKA Robot software Technology Business Robotics