yusuke1997/dblp-id-title huggingface dataset:
Generated glyphs as memorable desktop icons for document
Visual interactions with Web database content
Using morphing for information visualization
Visualization of High-Dimensional Model Characteristics
Workshop on New Paradigms in Information Visualization and Manipulation, NPIVM 1999, in conjunction with the Eigth ACM International Conference on Information and Knowledge Management, CIKM 1999, Kansas City, Missouri, USA, November 6, 1999, Proceedings
Navigation in Huge Information Hierarchies: Application to Network Management
Temporal, Geographical, and Categorial Aggregations Viewed through Coordinated Displays: A Case Study with Highway Incident Data
Human-Guided Greedy Search: Combining Information Visualization and Heuristic Search
Graphical encodings: bet you can't use just one!
Immersive 4D Visualization of Complex Dynamics
ALMOST: Exploring Program Traces
Information visualization for utilizing distributed information resources
Proceedings of the CIKM 1998 Workshop on New Paradigms in Information Visualization and Manipulation, NPIV 1998, Bethesda, MD, USA, November 3-7, 1998
Audio-Visual Data Mappings for GIS/based Data: An Experimental Evaluation
Supporting dynamic information visualization with VRML and databases
Using clustering and visualization for refining the results of a WWW image search engine
Visualising relationships for real world applications
Interactive Video Cubism
Proceedings of the Workshop on New Paradigms in Information Visualization and Manipulation, NIPV 1997, in conjuction with CIKM 1997, November 10-14, 1997, Las Vegas, NV, USA
Architectural support for database visualization
Hypercept: Behavioural Linkage in Hypertext Environments
Using Shape to Visualize Multivariate Data
Visualization for situation awareness
Video browsing using 3D video content trees
Application Redirection: Hosting Windows Applications in 3D
Dimensional Anchors: A Graphic Primitive for Multidimensional Multivariate Information Visualizations
"Social engineering": towards a new paradigm for developing multi-user visualization systems
Information visualization using a new Focus+Context Technique in combination with dynamic clustering of information space
Virtual Environments for Geographic Visualization: Potential and Challenges
Towards visual support for document navigation through multidimensional catalogues
Der Schutz von Arbeitnehmerdaten - Technische Entwicklung und rechtliche Anforderungen
Softwareerstellung zwischen formalen Methoden und arbeitsorientierter Gestaltung - Eine Curriculardebatte
Informatik und Gesellschaft in der Hochschullehre
Der Turmbau zu Babel - Kommunkation und Organisation in der Informationsverarbeitung großer Unternehmen
Konstruieren als Gruppenarbeit - Anforderungen an eine zukünftige Softwaregestaltung
Nutzung der Informationstechnik durch Umweltschutz-Organisation
Informationsmaschinen. Neue Nutzungsmöglichkeiten, neue Arbeitsplätze
Benutzerorientierte Softwaregestaltung und Client/Server-Anwendungen mit MAESTRO II
Arbeit und Informationstechnik, Fachtagung veranstaltet vom Fachbereich 8 "Informatik und Gesellschaft" der GI, Karlsruhe, 15.-17. Juli 1986, Proceedings
Der Taylorismus - Kein Modell für die Büroautomation
Der Markt für Umweltschutzsoftware
Krankenpfleger und Expertensysteme im Busch
Mitwirkung von Bürgern an Technikbewertungs- und Gestaltungsprozessen. Das Bürgergutachten "ISDN im privatn und beruflichen Umfeld" als Testfall
Computer im Iran - Eine kritische Betrachtung
Das ISDN - Betriebs- und volkswirtschaftliche Aspekte
Personelle sowie soziale Perspektiven und Auswirkungen der rechnerintegrierten Produktionsunternehmen mit Zukunft
Zukunftswerkstatt als Methode der Arbeitsanalyse und -gestaltung. Motivation zur Partizipation
Informatik als Gestaltungswissenschaft - Bausteine für einen Sichtwechsel
Benutzerorientierte, iterative Software-Entwicklung in der Praxis
Auswirkungen des Einsatzes von Bildschirmtext auf die Beschäfigten im Dienstleistungssektor
Eine iterative Software-Entwicklungsstrategie mit gezielter Benutzerbeteiligung und systematischer Evaluation der Benutzerfreundlichkeit
Durch bessere Schulung zu mehr Akzeptanz - strategien für den Technikeinsatz im Büro
Die Entwicklung der Informatik in Algerien
Rückwirkungen von Planungs- und Steuerungssystemen auf Organisation und Inhalt wissenschaftlicher Arbeit
Zur Informatisierung von Kunst und Kultur
Industrialisierungs-Strategie vs. Basic-Needs-Strategie zur Entwicklung
Softwareentwicklung unter benutzungsorientierten Gesichtspunkten - Eine Notwendigkeit zur Kostenreduzierung und Wettbewerbsverbesserung
Anwendung der Simulationstechnik zur präventiven Bewertung manueller Belastungen im Bereich der Logistik - ein Beitrag zur Entwicklung ganzheitlicher Planungsinstrumente
Werkzeuge für die Entwicklung graphischer Benutzeroberflächen
Der Mensch im Mittelpunkt. Personalentwicklung durch Organisation und Qualifikation
Computerunterstütztes Problemlösen und Verbessunge der Wissenskommunikation als humanorientierte Gestaltungsaufgabe
Informatik und Neubau eines Bürgebäudes - Ein Erfahrungsbericht über den Neubau der Hauptverwaltung der COLONIA Versicherung AG in Köln
Brauchen wir eine neue Aufklärung?
Erfolgsfaktoren für die Anwendung lernförderlicher Expertensysteme
Methodische Untersuchungen zum computerunterstützten Problemlösen im Industrie-Design
Entwicklung lernförderlicher Expertensysteme
Kooperation als Weg zu einer verantwortbaren Informationstechnik
Zur Bedeutung der künstlichen Intelligenz für arbeitsorientierte Software-Gestaltung
Unterstützung des Software-Design-Prozesses durch EXPOSE
Informationstechnik für den Verkehr - Medizin oder Droge?
Partizipative Systementwicklung: Praktische Erfahrungen mit beteiligungsorientierter Arbeitsgestaltung
Die Veränderung der Planungs- und Denkanforderungen durch den Einsatz von CAD im Konstruktionsbüro
Möglichkeiten der Arbeitsgestaltung mit wissensbasierten Computersystemen
Benutzergerechte Software-Gestaltung im VDI-Gemeinschaftsausschuss Bürokommunikation - VDI 5005 " Software-Ergonomie in der Bürokommunikation"
Humanisierung der Büroarbeit durch alternative Nutzung von Arbeitszeit
Arbeit, Qualifikation und Informationstechnik - Aus der Sicht der Wirtschaft
Zielsetzung und Aufgabenstellung des Arbeitskreises "Informatik und Dritte Welt"
Die Praxis der Systementwicklung. Erfahrungen aus der Sicht von BenutzerInnen und EnwicklerInnen
Orientierung an Gebrauchswerten. Zur Gestaltung der Informationstechnik am Beispiel der Herstellung von Dokumenten
High Tech muss nicht kompliziert sein - Das Steuerungskonzept der CNC-plus Maschine
Menschengerechte Software als Wettbewerbsfaktor, Arbeitstagung des Projektträgers "Arbeit und Technik" in Zusammenarbeit mit dem German Chapter of the ACM und der Gesellschaft für Informatik am 27. und 28. Januar 1993 in Bonn
Wirtschaftliche Herausforderungen an die Informationstechnik
Informatik cui bono? GI-FB 8 Fachtagung, Freiburg, 23.-26. September 1992, Proceedings
Autonome Informationspolitik Indiens - Ein Modell für die sog. Dritte Welt?
SCAPA, ein landwirtschaftliches Informationssystem in Malaysia
Integrierte Organisations- und Technikentwicklung - ein Ansatz zur partizipativen Gestaltung der Arbeitswelt?
Aufgabenstellung des GI-Arbeitskreises Informatik und "Dritte Welt"
Arbeitsanforderungen und soziale Prozesse in der Software-Entwicklung
Sozialverträgliche Arbeits- und Technikgestaltung: Stabilisierung oder Aufhebung der geschlechtshierarchischen Arbeitsteilung?
Eine Diskussion zum Einsatz der Computertechnologie in Nicaragua
Phasenmodell ist OUT - Benutzerbeteiligung jetzt auch bei Standardsoftware-Entwicklung
Nicht Projektmamas, eine andere Informatik braucht's!
Unterstützungswerkzeuge zur benutzergerechten Gestaltung der Mensch - Computer - Schnittstelle
Software als Wettbewerbsfaktor - Perspektiven von Technologiepolitik und Informatikindustrie vor dem Hintergrund der aktuellen Standort-Diskussion
Informaationstechnik und Beschäftigung - Rahmenbedingungen und Tendenzen
Neue Leitbilder für benutzerorientierte Softwaregestaltung bei Telekommunikationsdiensten
Aufgabengerechte Software: Bestand, Bedarf
Zum Verhältnis von Körperlichkeit und Kognition. Konsequenzen des kognitionswissenschaftlichen Paradigmas
Konfigurationswerkzeuge für anpassbare Leitstände
Computereinsatz in der Produktion: Technik för den Menschen?
Partizipation contra kriteriengeleitete Aufgabenbewertung - eine Scheinalternative?
Normung und Systemgestaltung - Zur Bedeutung eines wenig beachteten Gestaltungsortes
Verhaltenskontrolle durch Genomanalyse? Einige Bemerkungen zum Zusammenhang von Gentechnik und Informationstechnik im Arbeitsleben
Wissenschftliche Herausforderungen für die Informatik: Änderungen von Forschungszielen und Denkgewohnheiten
Vorgehen und Methoden für aufgaben- und benutzerangemessene Gestaltung von Graphischen Benutzungschnittstellen
Defizite der Software - Ergonomie - Ergebnisse einer Bilanzierung vorliegender Forschungsergebnisse zur Arbeit an Bildschirmgeräten
Computer - Mega-Maschine oder Werkzeuge - Zur Verantwortung im Umgang mit dem computer
Zur betrieblichen Gestaltung von CAD-Anwendungen
Die Beziehung Informatik/Ökologie aus der Sicht der ökologisch orientierten Forschung und der Umweltbewegung
Sozialorientierte Gestaltung von Informationstechnik in der öffentlichen Weiterbildung
Wissensorientierte Unterstützung von Arbeit und Lernen - Technologien und Einsatzkriterien
Neue Netze - Neue Abhängigkeiten - Infrastruktur als Rahmenbedinguen für Organsiation von Arbeit
Differenz als Leitbild der Technikentwicklung
Substitutionsmöglichkeiten beruflich bedingten Personenverkehrs durch Telekommunkation
Benutzergerechte, aufgabenangemessene und effiziente Leitstände (PLANLEIT): Anforderung an die Softwaregestaltung
Gesellschaftliche Innovation durch eine reflexive Informatik. Zur Steuerung der informationstechnischen Entwicklung
Informationstechnik im Straßenverkehr: Ziele, Wege, Konsequenzen
EDV-Einsatz und Informatik-Ausbildung in Nicaragua: Computer für die Revolution?
Informatisierung der "Dritten Welt" durch Entwicklungszusammenarbeit
Informationspolitik in Kolumbien oder Die Reise ins Informationszeitalter - Ein Erfahrungsbericht
Software-Entwicklung zur Unterstützung der Konstruktionsarbeit
Methoden- und Werkzeugunterstützung von Software-Entwicklern - Ergebnisse einer Praxis-Untersuchung
Die Dynamik komplexer Systeme: Synergetik als Beschreibungsmethode
Organisationsentwicklung und computergestützte Sachbearbeitung im Sozialamt der Stadt Herten
Arbeitsorientierte Gestaltung von PPS-Systemen. Ein Beitrag zur Qualifikationssicherung in der Werkstatt
Technologietransfer und Unterentwicklung - Gesellschaftliche Bedingungen für Transfer und Einsatz der Informationstechnik in der Dritten Welt
Informationstechnologie-Anwendungen in Niederlassungen von multinationalen Unternehmen
Frauenarbeit und Informationstechnik in der sog. Dritten Welt
Tendenzen in der Entwicklung computerunterstützter Fertigungssteuerungssysteme
Auf dem Weg zur benutzerspezifischen Systemanpassung
Informationstecnik und internationale Arbeitsteilung: Der Einsatz von Computern in Dritte-Welt-Ländern
Innovative Softwaregestaltung - Eine Anregung zum Diskus
Informatisierung des politischen Systems - Leitorientierungen, Triebkräfte, Kräfteverschiebungen, Gewinner und Verlierer
Hat die Informatik den Computer im Griff? Mobilisierung zur Stabilisierung
Benutzerorientierte Softwaregestaltung: Ein Erfolgsfaktor für Standardsoftware der 90er Jahre
Anforderungen und Bewertungen der Software-technischen Unterstützung aus Sicht des CAD-Referenzmodells
Benutzergerechte Gestaltung von Software- eine Herausforderung an den Industriestandort Bundesrepublik Deutschland
Die brasilianische Informationspolitik: Modell für die Dritte Welt?
Computer und Ökosystem - zwei Metaphern fürs Denken und Lernen
Institutionen und Projekte zur Ausbildung und zum Transfer von Informationstechnologie in Entwicklungsländern
Akzeptanz und Partizipation. Sind Systemgestalter lernfähig
Soziale Akteure im Technisierungs- und Informatisierungsprozeß
Evolutionäre Expertensystementwicklung und Softwarequalität
Neuartige Verschräkungen von System- und Sozialintegration - Zur Innovationsdynamik in der Automobilindustrie
Zur Lage des weiblichen wissenschaftlichen Nachwuchses in der Informatik
Informatik und "Dritte Welt": Berichte und Analysen
Zum Stand der Informatik in Chile
Zur sozialen Beherrschbarkeit integrieter Fernmeldenetze
Was hat Technik mit Politik zu tun? Konfliktmanagement bei IuK-Technik-Einsatz
Auswirkungen der Informationstechnik auf Arbeitsnehmer und Arbeitsplätze
Partizipative Softwaregestaltung-Methoden und Instrumente zur Beteiligung der Nutzer
Ganzheitliche Arbeitsgestaltungkompetenz. Paradigmenwechsel in der Aus- und Weiterbildung von Informatik-Fachkräften
Forschungsbeiträge von Frauen in der Informatik
Leitorientierung der Informatisierung: Informationsgesellschaft?
Schulungs- und Betreuungskonzept im Deutschen Bundestag: Projekt PARLAmentarische KOMmunikation (PARLAKOM)
Wider die Computermetapher. Die starke KI-Hypothese und ihre Mißdeutungen
Nebenfach-Curriculum "Sozialorientierte Gestaltung von Informationstechniken"
Anforderungen an die Prozessgestaltung der Softwareentwicklung
Informatik in Indien - Ein Fallbeispeil
Neue Techniken, Frauen und Kleingeld
In unbekanntem Land. Vom Einlassen des Informatikers auf alltägliche Situationen
Mobilkommunkationssysteme und Intelligente Netze: Struktur und Dienste bei der Zusammenführung
Half Speed Toward Hi-Tech - Computer in Thailand
Anwendungsorientierte Software als ein Element der Wettbewerbsfähigkeit
Ausbildung anhand von Fallstudien im Fachgebiet Informatik und "Dritte Welt"
Ausbildungskonzepte für den Bereich Informationstechnologie und "Dritte Welt" - Dokumentation eines Round-Table-Gesprächs an der TU Berlin
Die Rolle der Informatik in der Umweltverwaltung
Technolgoy is Power - Use it oder Computereinsatz auf den Philippinen
Verzahnung von technisch-ökonomischen mit sozialorientierten Kriterien in der Gestaltung von Informationstechnik
The Implementation of Reinforcement Learning Algorithm for AI Bot in Fighting Video Game
An autonomy viability assessment matrix for agent-based autonomous systems
Towards Android malware detection using intelligent agents
Design of adjustable compliant mechanism for service robot
Implementing an Agent-based Multi-Natural Language Anti-Spam Model
Agent-mediated self-regulated learning: A conceptual model based on knowledge management at agent level
An Emotional Agent for the Analysis of Customer Satisfaction Surveys
Recent and Future Innovative Artificial Intelligence Services and Fields
Rule-based agent for social media sentiment detection
A computational model of a norm's yield
4th International Symposium on Agents, Multi-Agent Systems and Robotics, ISAMSR 2021, Batu Pahat, Malaysia, September 6-8, 2021
Issues and challenges of forensics analysis of agents' behavior in multi-agent systems: A critical review
Development of a Multi-Agent Approach for a Smart Library Management System
A prototype for context identification of scientific papers via agent-based text mining
Designing a robot-assisted therapy for individuals with anxiety traits and states
A Concise Review of Deep Learning Deployment in 3D Computer Vision Systems
A Multi-Agent Ad Hoc On-Demand Distance Vector for Improving the Quality of Service in MANETs
Agent-based Self-regulated Learning Simulation Adopting the Concept of GUSC Model
Detection of data confidentiality violations using Runtime Verification and Quality Assessment
A Self-Adaptive Agent-Based Dynamic Processes Simulation Modelling Framework
Policy evaluation by analysing population emergent behaviour with a microsimulation and multi agent based model
The convergence consensus of multi-agent systems controlled via doubly stochastic quadratic operators
Identifying variables dependency that influences a high level deliberation process in a CI-based Multi-agent System
Alternate end effector contour tracking for hyper redundant robotic system
A classification of emotions study in software agent and robotics applications research
Empirical Evaluation of Guidelines for Prototyping Sociotechnical Systems in JADE Framework
Identifying key factors in agent-based simulation model on processes in time-constrained environment
A Survey of Multi-agent Systems and Case-Based Reasoning Integration
An evaluation of robotic education scale in enhancing science achievement
A Real-Time Autonomous Flight Navigation Trajectory Assessment for Unmanned Aerial Vehicles
A Conceptual Multi-agent Semantic Web Model of a self-adaptive website for intelligent strategic marketing in learning institutions
An Adaptive Model for Detection and Prevention of DDoS and Flash Crowd Flooding Attacks
Development and functionality of a basic prototype: robotic welding automation
Exploring the Roles of Agents and Multi-Agent in Image Feature Extraction
Embedded structural-actuator system for hyper redundant robot serpentine gait modeling
An overview of simulation software for non-experts to perform multi-robot experiments
Evaluating students engagement in classrooms using agent-based social simulation
Software analysis for Agents of Things (AoT) applications
Agent-mediation in RADT Framework for Self-Quarantine Monitoring
Formulation of Mandatory Task Algorithm Using Task Prioritization Technique
Simulation of Crowd Evacuation in Laboratory using Social Force Model
The Collective Intelligence concept: A literature review from the behavioral and cognitive perspective
Brain Tumor Detection in MRI Images Using Image Processing Techniques
A model of norms decay by agents' actions: Norms disappearance and norms collapse
The hybrid encryption algorithm of lightweight data in cloud storage
Development of spawning and mobility model for heavyweight software agent
A multi-agent framework for funded research supervision
A self-adaptive customer-oriented framework for intelligent strategic marketing: A multi-agent system approach to website development for learning institutions
Micro-Expression Recognition Using VGG19 Convolutional Neural Network Architecture And Random Forest
Predict Buy and Sell Time for Stock Price Using Convolutional Neural Network and Long Short-Term Memory
Exploring the Roles of Agents and Multi-Agent in Improving Mobile Ad Hoc Networks
2nd International Symposium on Agent, Multi-Agent Systems and Robotics, ISAMSR 2016, Bangi, Malaysia, August 23-24, 2016
A Workload Manager: The Pre-assessment in Sincere Software Agent Environment
"Hello, Dr": A Heatlhcare Mobile Application
An explanatory review of mandatory task
International Symposium on Agent, Multi-Agent Systems and Robotics, ISAMSR 2018, Putrajaya, Malaysia, August 27-28, 2018
A Survey of Multi-Agent System Approach in Risk Assessment
Exploring the Role of Multi-Agent Systems in Improving K-Means Clustering Method
IoT-Based Contactless Body Temperature Scanning System for a Smart and Safe Campus
A General Framework of Multi-Agent Features Extraction Operators for Deformed Images Identification
Preliminary usability and heuristics model for mobile games, in the aspect of Control Feature
A new model of agent spawning and mobility
A Flexible Human-Agent Interaction model for supervised autonomous systems
Exploring the Role of Agent and Multi-Agent in Data Fusion Systems
Industrial Digital Twins Powered by Artificial Intelligence Solutions for Enhanced Product Life-Cycle Development
Verification analysis of an agent based model in behaviour change process
A Text Mining Algorithm Optimising the Determination of Relevant Studies
Towards Software Engineering Perspective for BDI Agent
Implementation of Washing Machine System Via Utilization of Fuzzy Logic Algorithms
Wireless Sensor Network: Smart greenhouse prototype with smart design
Detecting Anomaly in IoT Devices using Multi-Threaded Autonomous Anomaly Detection
The architecture of Agent-Based Intelligent Tutoring System for the learning of software engineering Function Point Metrics
Agent-based modelling of car platooning for traffic optimization
Hybrid neural networks for dimension reduction and clustering of multidimensional data
Workflow analysis for self-adaptive agent-based simulation model
Programmable Logic Controller (PLC) Automation Control Learning Kit Programmed: Using The CX-Programmer Software
Social Presence in Digital Community
Simulating Get-Understand-Share-Connect model for personal knowledge management in learning environment
Lego Bricks Color Sorting Machine
The rationality of sincere software agent in task completion
Security Enhancement During Agents Communication in GNA Approach
Network Security Risk Assessment Using Intelligent Agents
Norms trust evaluation for norm adoption in open normative multi-agent systems
IoT Based Cost Effective Car Parking Management for Urban Area
Cross-fertilization of ideas in Collective Intelligence Model (CIM)
Computing norm's benefit awareness via norm adoption ratio and norm morality
What if agents can determine success of ERP implementation?
A Cooperative Learning Method for Multi-Agent System with Different Input Resolutions
Deploying the concept of agent-mediated knowledge management in mobile apps for collective decision making
A Value-added Service Analyzer (VaSA) sub-model for Agents of Things (AoT) concept
Design and Implementation of Computer-Based Aptitude Test for Computer Engineering with Fuzzy Algorithm
International Symposium on Agents, Multi-Agent Systems and Robotics, ISAMSR 2015, Putrajaya, Malaysia, August 18-19, 2015
Agent-mediated Recommender System with Detect-Determine-Direct Model for News Website
Exploring the need of an assistive robot to support reading process: A pilot study
Vision-based Alignment Control for Mini Forklift System in Confine Area Operation
Eye Center Detection Using Combined Viola-Jones and Neural Network Algorithms
Indoor mapping using kinect and ROS
Privacy and security gaps in mitigating Cyber crime: The review
Towards accelerated agent-based crowd simulation for Hajj and Umrah
Group decision by house-hunting agents in multi-robot systems
Initial stage of developing a rolling robot to move on various terrains
Vision-Based Unmarked Road Detection with Semantic Segmentation using Mask R-CNN for Lane Departure Warning System
Simplifying Signature Engineering by Reuse
Reliable Keystroke Biometric System Based on a Small Number of Keystroke Samples
How to Increase the Security of Digital Rights Management Systems Without Affecting Consumer's Security
Transitive Trust in Mobile Scenarios
Visual Document Authentication Using Human-Recognizable Watermarks
Security Engineering Using Problem Frames
A P2P Content Authentication Protocol Based on Byzantine Agreement
Field Access Analysis for Enforcing Access Control Policies
Developing Provable Secure M-Commerce Applications
Dynamic Layer-2 VPN Services for Improving Security in the Grid Environment
Multilateral Security: Enabling Technologies and Their Evaluation
Quantum Algorithm for Solving the Discrete Logarithm Problem in the Class Group of an Imaginary Quadratic Field and Security Comparison of Current Cryptosystems at the Beginning of Quantum Computer Age
Do You Trust Your Recommendations? An Exploration of Security and Privacy Issues in Recommender Systems
On the Use of Word Networks to Mimicry Attack Detection
Secure Rejoining Scheme for Dynamic Sensor Networks
Optimized Workflow Authorization in Service Oriented Architectures
Allowing State Changes in Specifications
Controlling Access to Documents: A Formal Access Control Model
Privacy-Preserving Decision Tree Mining Based on Random Substitutions
A Framework for Quantification of Linkability Within a Privacy-Enhancing Identity Management System
Privacy with Delegation of Rights by Identity Management
Low Latency Anonymous Communication - How Long Are Users Willing to Wait?
Possibilistic Information Flow Control in MAKS and Action Refinement
Kleptographic Attacks on E-Voting Schemes
An Extended Model of Rational Exchange Based on Dynamic Games of Imperfect Information
Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings
Redesign and Implementation of Evaluation Dataset for Intrusion Detection System
An Open, PKI-Based Mobile Payment System