yusuke1997/dblp-id-title huggingface dataset:
The Council of Europe and e-voting: history and impact of Rec(2004)11
Malfunction or Misfits: Comparing Requirements, Inputs, and Public Confidence Outcomes of E-Voting in the U.S. and Europe
Swiss E-Voting Pilot Projects: Evaluation, Situation Analysis and How to Proceed
Verification Systems for Electronic Voting: A Survey
When Reality Comes Knocking Norwegian Experiences with Verifiable Electronic Voting
How E-Voting Technology Challenges Traditional Concepts of Citizenship: an Analysis of French Voting Rituals
Coercion-Resistant Hybrid Voting Systems
Maintaining Democratic Values in e-Voting with eVACS
Smart Cards in Electronic Voting: Lessons Learned from Applications in Legallybinding Elections and Approaches Proposed in Scientific Papers
Long-term Retention in E-Voting - Legal Requirements and Technical Implementation
E-Voting in Brazil - Reinforcing Institutions while Diminishing Citizenship
Mapping the Literature: Socio-cultural, Organizational and Technological Dimensions of E-voting Technologies
Random Block Verification: Improving the Norwegian Electoral Mix-Net
Universally Verifiable Efficient Re-encryption Mixnet
E-voting in Japan: A developing case?
The Role of Trust, Participation and Identity in the Propensity to e- and i-vote
E-voting for Swiss Abroad: A Joint Project between the Confederation and the Cantons
A Preliminary Question: Is E-Voting Actually Useful for our Democratic Institutions? What do we need it for?
The E-Voting Readiness Index
Online Voting Project - New Developments in the Voting System and Consequently Implemented Improvement in the Representation of Legal Principles
Coercion-Freeness in E-voting via Multi-Party Designated Verifier Schemes
Assessing Internet Voting as an Early Voting Reform in the United States
A Fair and Robust Voting System by Broadcast
Pressing the button for European elections: verifiable e-voting and public attitudes toward internet voting in Greece
CAPTCHA-based Code Voting
E-Voting in Slovenia: The View of Parliamentary Deputies
Interpreting Babel: Classifying Electronic Voting Systems
The Virtual Polling Station - Transferring the Sociocultural Effect of Poll Site Elections to Remote Internet Voting
Voting in Uncontrolled Environment and the Secrecy of the Vote
Improving the Farnel Voting Scheme
Cast-as-Intended Verification in Norway
A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting
6th International Conference on Electronic Voting: Verifying the Vote, EVOTE 2014, Lochau / Bregenz, Austria, October 29-31, 2014
A New Implementation of a Dual (Paper and Cryptographic) Voting System
Voting Technology and the Election Experience: The 2009 Gubernatorial Races in New Jersey and Virginia
Coercion-Resistant Electronic Elections with Observer
Security Requirements for Non-political Internet Voting
A Methodology for Assessing Procedural Security: A Case Study in E-Voting
Sigma Ballots
The Implementation of E-voting in Latin America: The Experience of Salta, Argentina from a Practitioner's Perspective
Transition to Electronic Voting and Citizen Participation
Mobile Voting as an Alternative for the Disabled Voters
Assessing the Impact of E-Voting Technologies on Electoral Outcomes: An Analysis of Buenos Aires' 2005 Congressional Election
Verifiable internet voting in Estonia
Improving the Transparency of Remote E-Voting: The Estonian Experience
Electronic Voting and Null Votes: An Ongoing Debate
Electronic Voting 2006: 2nd International Workshop, Co-organized by Council of Europe, ESF TED, IFIP WG 8.6 and E-Voting.CC, August, 2nd - 4th, 2006 in Castle Hofen, Bregenz, Austria
3rd International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, August 6th-9th, 2008 in Castle Hofen, Bregenz, Austria
A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament
Internet Voting System Security Auditing from System Development through Implementation: Best Practices from Electronic Voting Deployments
E-Voting in the Netherlands; from General Acceptance to General Doubt in Two Years
Testing Democracy: How Independent Testing of E-Voting Systems Safeguards Electoral Integrity
How to Create Trust in Electronic Voting over an Untrusted Platform
The patchwork of internet voting in Canada
The Certification of E-Voting Mechanisms. Fighting against Opacity
The New Belgian E-voting System
Analysis of Recommendation Rec(2004)11 Based on the Experiences of Specific Attacks Against the First Legally Binding Implementation of E-Voting in Austria
Verifiability in Electronic Voting - Explanations for Non Security Experts
Development of a Formal IT Security Model for Remote Electronic Voting Systems
Scantegrity Mock Election at Takoma Park
Double-entry Accounting Provides Software-Independent Algorithm for Confirming the Integrity of Automated Election Tallies
From piloting to roll-out: voting experience and trust in the first full e-election in Argentina
The Voting Processes in Digital Participative Budget: A Case Study
Internet Voting and Individual Verifiability: The Norwegian Return Codes
5th International Conference on Electronic Voting 2012, (EVOTE 2012), Co-organized by the Council of Europe, Gesellschaft für Informatik and E-Voting.CC, July 11-14, 2012, Castle Hofen, Bregenz, Austria
Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting
Trust in internet election observing the Norwegian decryption and counting ceremony
A detection method of feature interactions for Telecommunication services using new execution model
Linear Software Models - Vector Spaces for Design Pattern Modules
User Satisfaction with Search-driven Enterprise Portals
Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing
REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers
Cloud Computing - State-of-the-Art and Future Research Trends
Remote Control and Tele-operation in the Cloud
A UML KPI Profile for Energy Aware Design and Monitoring of Cloud Services
Mobile Cloud Computing Architecture for Ubiquitous Empowering of People with Disabilities
Mining Influence Rules out of Ontologies
Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems
Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates
ACT4SOC 2007 - Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Barcelona, Spain, July 22-25, 2007
Properties and Applications of Diamond Cubes
Quality of Transformations Providing Interoperability in Software Architecture Model-driven Development
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns
Software System Theory of the Forbidden Within Discrete Design
Compiling Functional to Scripting Languages
A Methodology for Detecting Programming Languages in Stack Overflow Questions
Enhanced Grid Resource Selection Mechanism
An Incremental Approach to Testing AOP
AH-CID: A Tool to Automatically Detect Human-Centric Issues in App Reviews
Traceability Mechanism for Error Localization in Model Transformation
Analyzing Functional Changes in BPMN Models using COSMIC
MVCLang: A Software Modeling Language for the Model-View-Controller Design Pattern
Knowing Software Engineer's Personality to Improve Software Development
PlayMancer: A European Serious Gaming 3D Environment
Detecting, Recognizing and Associating Facial Expressions for Emotional Behavior
Using Blockchain to Implement Traceability on Fishery Value Chain
Transfer Learning for Just-in-Time Design Smells Prediction using Temporal Convolutional Networks
Closer: A Tool Support for Efficient Learning Integrating Alexa and ChatGPT
Decentralized System for Monitoring and Control of Rail Traffic in Emergencies - A New Distributed Support Tool for Rail Traffic Management
Secure Refactoring - Improving the Security Level of Existing Code
A Programming Language That Combines the Benefits of Static and Dynamic Typing
Quantitative Analysis of Mutant Equivalence
Cost Comparison of Lambda Architecture Implementations for Transportation Analytics using Public Cloud Software as a Service
Time in the Domain Entities Access Architecture
Efficient Source Code Authorship Attribution Using Code Stylometry Embeddings
SLA Management for the Internet of Services
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
Ambient Intelligence: Basic Concepts and Applications
Evaluating the Performance of LLM-Generated Code for ChatGPT-4 and AutoGen Along with Top-Rated Human Solutions
Generic Web Services - Extending Service Scope While Preserving Backwards Compatibility
From IoT Servitization to IoT Assetization
Normative Virtual Environments - Integrating Physical and Virtual Under the One Umbrella
Dynamic Languages as Modeling Notations in Model Driven Engineering
Optimisation of Ceramic Kiln Loading Problem Using Multi-Objective Genetic Algorithm
Artificial Intelligence-Based Detection and Prediction of Giant African Snail (Lissachatina Fulica) Infestation in the Galápagos Islands
Assl Specification of Reliability Self-Assessment in the As-Trm
How to Deal with Replication and Recovery in a Distributed File Server
Mobile Communicators for Disabled People
Improved Effort Estimation of Heterogeneous Ensembles using Filter Feature Selection
Low-Modeling of Software Systems
The End of Mobile Software Engineering (As We Know It)
BPMN 2.0 and the Service Interaction Patterns: Can We Support Them All?
A Software Quality Predictive Model
Testing in Parallel - A Need for Practical Regression Testing
Analyzing Risks in Business Process Models using a Deviational Technique
Main Principles on the Integration of SOC and MDD Paradigms to Business Processes: A Systematic Review
Cloud-RA: A Reference Architecture for Cloud Based Information Systems
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components
Reverse Generics - Parametrization after the Fact
On Analyzing the Database Performance for Different Classes of XML Documents based on the used Storage Approach
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology
Structured Use-cases as a Basis for Self-management of Distributed Systems
Effort Prediction in Agile Software Development with Bayesian Networks
A Green Decision Support System for Integrated Assembly and Disassembly Sequence Planning using a PSO Approach
Approximate reasoning to learn classification rules
Color Image Profile Comparison and Computing
Generic feature modules: Two-staged program customization
Searching Keyword-lacking Files based on Latent Interfile Relationships
Decision Support Systems in Ontology-based Construction of Web Directories
Semantic-based Composition of Modular Ontologies Applied to Web Query Reformulation
Facilitating Reuse of Control Software Through Context Modelling Based on the Six-Variable Model
Connections between Language Semantics and the Query-based Compiler Architecture
A New Software Architecture for the Wise Object Framework: Multidimensional Separation of Concerns
Vegetation Index Maps of Asia Temporally Splined for Consistency Through a High Performance and Grid System
From Natural-language Regulations to Enterprise Data using Knowledge Representation and Model Transformations
From Static to Dynamic Process Types
Practical Multi-pattern Matching Approach for Fast and Scalable Log Abstraction
Usability Evaluation Methods for Spatial Information Visualisation - Case Study: Evaluation of Tourist Maps
SQLReports - Yet Another Relational Database Reporting System
Model Driven Development of Context-aware Services using Parameterized Transformation
Incremental Modular Testing for AOP
Decentralized Application for Rating Internet Resources
Design Quality of Aspect-oriented and Object-oriented Programs - An Empirical Comparison
A Systematic Review Measurement in Software Engineering: State-of-the-Art in Measures
Specification of dependencies for it service fault management
Constructing Evolvable Enterprise Implementations
A Software Cost Estimation Taxonomy for Global Software Development Projects
Consent Management Architecture for Secure Data Transactions
Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts
Multiparty-session-types Coordination for Core Erlang
Seamless Software Development for Systems based on Bayesian Networks - An Agricultural Pest Control System Example
Model Weaving and Pedagogy - Mapping Abstraction Levels in Instructional Design Languages
Metrics for Measuring Data Quality - Foundations for an Economic Data Quality Management
Hybrid Debugging of Java Programs
Using pre-requirements tracing to investigate requirements based on tactic knowledge
The Evolving Relationship between Business and Information Systems
Extreme Learning Machine based Linear Homogeneous Ensemble for Software Fault Prediction
Towards Supporting the Extended DevOps Approach through Multi-cloud Architectural Patterns for Design and Pre-deployment - A Tool Supported Approach
Pattern Detection in Object-Oriented Source Code
A view on the web engineering nature of web based expert systems
A Language for Specifying Informational Graphics from First Principles
KnowBench - A Semantic user Interface for Managing Knowledge in Software Development
Understanding and Evaluating Replication in Service Oriented Multi-tier Architectures
Data Quality in Finances and Its Impact on Credit Risk Management and CRM Integration
Turkish Question Answering - Question Answering for Distance Education Students
What We Know About Software Architecture Styles in Continuous Delivery and DevOps?
Towards a Visualization of Multi-level Metamodeling Techniques
P²E: A Tool for the Evolution Management of UML Profiles
Game Bot Detection in Online Role Player Game through Behavioural Features
Design Science and Software Engineering
Using Rule-Based Engine to Support Test Validation Management of Complex Safety-Critical Systems
"Selling" Reorganization to SME's Financial Management through ERP Implementation
An Exploratory Study on the Evidence of Hackathons' Role in Solving OSS Newcomers' Challenges
New Flexible Architectures for Reconfigurable Wireless Sensor Networks
Towards GUI Functional Verification using Abstract Interpretation
Asserting Frame Properties
A Simulation-based Aid for Organisational Decision-making
Inverse Simulation for Recommendation of Business Scenario With Qualitative and Quantitative Hybrid Model
Separating Program Semantics from Deployment
Designing Operational Safety Procedures for UAV According to NATO Architecture Framework
Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems
Can Commit Change History Reveal Potential Fault Prone Classes? A Study on GitHub Repositories
Quantitative Analysis of the Top Ten Wikipedias
ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015
Modelling and managing knowledge through dialogue: a model of communication-based knowledge management
A Case Study on Performance Optimization Techniques in Java Programming
Testing the Effectiveness of MBIUI Life-Cycle Framework for the Development of Affective Interfaces
Automatic Test Data Generation for a Given Set of Applications Using Recurrent Neural Networks
Detection of Security Vulnerabilities Induced by Integer Errors
Design of SOA Services: Experiences from Industry
How does Oracle Database In-Memory Scale out?
Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures
Software and Data Technologies - First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Combining Metaheuristics for the Job Shop Scheduling Problem with Sequence Dependent Setup Times
Engineering a Component Language: CompJava
Mining Web Server Logs for Creating Workload Models
A Survey of Sensor Network and Related Routing Protocols
Workflow-based Distributed Environment for Legacy Simulation Applications
EMF on Rails
A Process Mining Methodology for People Analytics: With a Case Study on Recruitment Analysis
Designing Situation Awareness - Addressing the Needs of Medical Emergency Response
Model-driven Deployment of Distributed Components-based Software
Agents That Help to Detect Trustworthy Knowledge Sources in Knowledge Management Systems
Performance Analysis of an Embedded System for Target Detection in Smart Crosswalks using Machine Learning
Exploring Feasibility of Software Defects Orthogonal Classification
Goal-Modeling Privacy-by-Design Patterns for Supporting GDPR Compliance
Software Technologies - 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers
A Case Study - Classification of Stock Exchange News by Support Vector Machines
Bee-route: A Bee Algorithm for the Multi-objective Vehicle Routing Problem
Generic Traits in Statically Typed Languages - How to Do It?
Virtualization: Past and Present Challenges
Product-Line Engineering for Smart Manufacturing: A Systematic Mapping Study on Security Concepts
Auto-Colleague - a Collaborative Learning Environment for UML
Graph Partitioning Algorithm for Social Network Model Transformation Frameworks
Web metrics selection through a practitioners' survey
An Agent-Based Planning Method for Distributed Task Allocation
Techniques for the Concept Location and Program Understanding in Component-Based Software Systems
Improving the Security of Mobile-Phone Access to Remote Personal Computers
Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
Design of Adaptable and Secure Connectors for Software Architectures
A Query Language for Service Discovery
Using Temporal Business Rules to Synthesize Service Composition Process Models
A SWOT Analysis of Software Technologies for Driving Museum Digital Transformation
The Fixed-Price Contract: A Challenge for the Software Development Project
Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process
WebRTC Testing: State of the Art
Detecting and Resolving Bad Organisational Smells for Microservices
A Proposal of Web Data Mining Application for Mapping Crime Areas in the Czech Republic
Empirical Assessment of Execution Trace Segmentation in Reverse-Engineering
Object-relational Mapping Revised - A Guideline Review and Consolidation
A Multi-source Machine Learning Approach to Predict Defect Prone Components
Formal framework for semantic interoperability
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems
On Using Mobile Crowdsourcing for Timely Information Solicitation and Sharing of Prices
Monte Carlo Projective Clustering of Texts
Towards a Knowledge Base to Improve Reusability of Design Pattern
Cognitive Computing Meets the Internet of Things
Adapting a Component-based Model Approach to SOA: A Robotic Experience
Automated Quantitative Attributes Prediction from Architectural Description Language
Business Diagnostic Tool - Designing and Programming an Application for Use of SME Partners
Fuzzy Time Representation and Handling in a relational DB
Analyzing Impact of Interface Implementation Efforts on the Structure of a Software Market - OSS/BSS Market Polarization Scenario
The Ability of Cloud Computing Performance Benchmarks to Measure Dependability
The Top-Ten Wikipedias - A Quantitative Analysis Using Wikixray
Reusing Past Queries to Facilitate Information Retrieval
IT Infrastructure Design and Implementation Considerations for the ATLAS TDAQ System
Accurate Packet Timestamping on Linux Platforms for Precise Capacity Estimation - An Implementation of a Highly Accurate Timestamping System Embedded in the Linux Kernel and its Application to Capacity Estimation
Workflow Composition and Description Tool
Refinement of UML2.0 Sequence Diagrams for Distributed Systems
An Analysis System for Mobile Applications MVC Software Architectures
Architecture-Centric Data Mining Middleware Supporting Multiple Data Sources and Mining Techniques
Training Believable Agents in 3D Electronic Business Environments Using Recursive-Arc Graphs
E-Learning for Health Issues Based on Rule-Based Reasoning and Multi-Criteria Decision Making
Test Suite Minimization of Evolving Software Systems: A Case Study
Model-based Framework for Integrated Evolution of Business and IT Changes - Integrated Evolution of Business and IT Changes
A Pragmatic View on Resolving Conflicts in Goal-oriented Requirements Engineering for Socio-technical Systems
Evolution Styles in Practice - Refactoring Revisited As Evolution Style
Proceedings of the 19th International Conference on Software Technologies, ICSOFT 2024, Dijon, France, July 8-10, 2024
A Hybrid Topology Architecture for P2P File Sharing Systems
Domain-Specific Modelling Using Mobile Devices
Continuous Conceptual Schema Quality Checking
Fuzz Testing with Dynamic Taint Analysis based Tools for Faster Code Coverage
Modern Concepts for High-Perfomance Scientific Computing - Library Centric Application Design
EHST 2008 - Proceedings of the 2nd International Workshop on e-Health Services and Technologies, Porto, Portugal, July 5-8, 2008
Impact of Resource Heterogeneity on MLOps Stages: A Computational Efficiency Study
A Context-Based Approach for Linguistic Matching
Functional Requirements Under Security PresSuRE
Architectural styles in service oriented design
Dynamic Slotted Network Coding Protocol
Mobile Technologies to Enable Users' Informed Decisions
Egyptian Hieroglyphs Localisation Through Object Detection
Software Reengineering Toolkit with Tangible Interface by Haptics
Wise Objects for IoT (WIoT): Software Framework and Experimentation
Developing a configuration management model for use in the medical device industry
Model-Based Documentation of Architectures for Cloud-Based Systems
Data Quality in XML Databases - A Methodology for Semi-Structured Database Design Supporting Data Quality Issues
Knowledge Purpose and Visualization
Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022
A 3D Descriptive Model for Designing Multimodal Feedbacks in any Virtual Environment for Gesture Learning
Robust and Hybrid Crypto-watermarking Approach for 3D Multiresolution Meshes Security
Improving Vulnerability Prediction of JavaScript Functions using Process Metrics
Lessons from Engineering - Can Software Benefit from Product based Evidence of Reliability?
Regulation Mechanism for Caching in Portal Applications
Inference-based Detection of Architectural Violations in MVC2
Bridging IFML and Elm Applications via a Normalized Systems Expander
Aligning Agent Communication Protocols - A Pragmatic Approach
Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Online Streaming, July 6-8, 2021
Context-aware Sharing Control using Hybrid Roles in Inter-enterprise Collaboration
A New Paradigm for Web App Development, Deployment, Distribution, and Collaboration
A Technology for Optimizing the Process of Maintaining Software Up-to-Date
Integrating Security into the Product-Line-Engineering Framework: A Security-Engineering Extension
Intelligent Platform Using Natural Language Processing for Pre-Selection of Personnel Through Professional Values Required by Private Companies
The Realis Model of Human Interpreters and Its Application in Computational Linguistics
Software Task Importance Prediction based on Project Management Data
Identifying Class Integration Test Order Using an Improved Genetic Algorithm-Based Approach
Approximate Reasoning to Learn Classification Rules
An Improved High-density Knapsack-type Public Key Cryptosystem
Application of Rules Engines in Technology Management
Proactive Model for Handling Conflicts in Sensor Data Fusion Applied to Robotic Systems
Merlin Collaboration Handbook - Challenges and Solutions in Global Collaborative Product Development
Needs and Challenges Concerning Cyber-risk Assessment in the Cyber-physical Smart Grid
Vascular Network Semi-automatic Segmentation - Using Computed Tomography Angiography