yusuke1997/dblp-id-title huggingface dataset:
Relationships Between Models of Concurrency
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Verifying Automata Specifications of Probabilistic Real-time Systems
Towards a temporal logic of causality and choice in distributed systems
Expressive Results for Process Algebras
The State Operator in Real Time Process Algebra
Observing processes
Various Simulations and Refinements
Proving Total Correctness of Programs in Weak Second-Order Logic
Problems, Promises and Performance: Some Questions for Real-time System Specification
Temporal Preconditions of Recursive Procedures
Verifying Atomic Data Types
Linear Logic on Petri Nets
Verifying the Correctness of AADL Modules Using Model Checking
Transformation of Combined Data Type and Process Specifications Using Projection Algebras
Object-Oriented Programming Versus Abstract Data Types
Time in State Based Formal Description Techniques for Distributed Systems
Process Algebra with Backtracking
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE
Towards an Epistemic Approach to Reasoning about Concurrent Programs
Verification of Safety Critical Systems Using TTM/RTTL
A Hyperdoctrinal View of Concurrent Constraint Programming
Describing, Structuring and Implementing Objects
An Overview and Synthesis on Timed Process Algebras
Computation tree logic and regular omega-languages
Real-Time and the Mu-Calculus (Preliminary Report)
Construction of Network Protocols by Stepwise Refinement
The Structure and Semantics of Actor Languages
Algebraic Theories for Name-Passing Calculi
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings
An Introduction to the Theoretical Aspects of Coloured Petri Nets
A Layered Semantics for a Parallel Object-Oriented Language
Semantics, Orderings and Recursion in the Weakest Precondition Calculus
Modular Verification of Petri Nets: The Temporal Logic Approach
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms
Constraint-Oriented Specification in a Constructive Formal Description Technique
From Timed to Hybrid Systems
The anchored version of the temporal framework
(Real) Time: A Philosophical Perspective
Interaction Diagrams
Layering and Action Refinement for Timed Systems
Correctness and full abstraction of metric semantics for concurrency
Modeling concurrency by partial orders and nonlinear transition systems
METATEM: A Framework for Programming in Temporal Logic
A Proof System for the Language POOL
Refinement Calculus, Part I: Sequential Nondeterministic Programs
The Theory of Timed Automata
Trace Nets
From ATP to Timed Graphs and Hybrid Systems
A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning
Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings
Producing Abstract Models for Object-Oriented Languages
From Trace Specifications to Process Terms
On the Action Semantics of Concurrent Programming Languages
Branching time temporal logic
A logig for the description of behaviours and properties of concurrent systems
Logics and Models of Real Time: A Survey
Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings
Data-Flow Synchronous Languages
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!
Goneis.gr: Training Greek Parents on ICT and Safer Internet
Exploring the Potential of Virtual Worlds for Enquiry-Based Learning
Aggregation Procedure Based on Majority Principle for Collective Identification of Firm's Crucial Knowledge
On Significance of Ontology Quality in Ontology-Driven Web Search
A Method for Group Extraction in Complex Social Networks
Airlines Websites Evaluation Around the World
The Role of ICT in the New (Virtual) Working Space - An Empirical Investigation on Enterprise 2.0
Simulation-Based IT Process Governance
Support Tool in the Diagnosis of Major Depressive Disorder
The Effectiveness of e-Cognocracy
Towards an Ontology to Model and Represent Collaborative Learning Data
Towards an Ontology for Describing Emotions
A Critical Review of the Impact of Knowledge Management on Higher Education
Applying Verbal Decision Analysis in the Selecting Practices of Framework SCRUM
An Overview on Transports and ITS
Programming Robots in Primary Schools Deserves a Renewed Attention
Applying CIPP Model for Learning-Object Management
A Social Network for Sharing Learning Segments and Compositions
Defining Malaysian Knowledge Society: Results from the Delphi Technique
Building a Collaborative Semantic-Aware Framework for Search
Lean Six Sigma Applied to Supply Chains within a Services Organisation - A Practical Solution
Personalized Learning Using Ontologies and Semantic Web Technologies
Knowledge Agent Theory and Its Autopoietic Characteristics for Authentic Knowledge Management
Tools for the Information System Function Management: A Roadmap
An Empirical Study of IT Use in Pakistani Civil Society Organizations
Learning Objects for eLearning Systems
Crucial Barriers of Knowledge Society
Pilot Evaluation of an Online Observatory of Agricultural Electronic Markets
Woodfuels Prosperity towards a More Sustainable Energy Production
The Origin, Representation, and Use of Collaboration Patterns in a Medical Community of Practice
Securization of e-Cognocracy
Extending Static Knowledge Diagrams to Include Dynamic Knowledge
New Forms of Managerial Education in Knowledge Society
'The Lived Experience of Climate Change': An Interdisciplinary and Competence-Based Masters Track Using Open Educational Resources and Virtual Mobility
Step by Step Framework for Evaluation of In-Formation Technology Benefit in Social Scenarios
Participatory Design of the Participatory Culture: Students' Projections of e-Learning 2.0
An Introduction to Videoconference Video Traffic
E-Commerce Sites: Use Intention by Brazilian Users
System of Indicators in the Innovation Management: Business Intelligence Applied to Tourism
An Interactive Learning Environment for Teaching the Imperative and Object-Oriented Programming Techniques in Various Learning Contexts
Simulation - Concepts and Applications
A Formal Definition of Situation towards Situation-Aware Computing
A Survey on Learning Profiles of the Educators of Roma in Greece in Order to Develop the Proper E-Learning Environment for Their Training
Collaborative Consensus and Knowledge Creation: Computer-Mediated Methodology for Sign Language Studies
Combining Service Models, Semantic and Web 2.0 Technologies to Create a Rich Citizen Experience
Using Web 2.0 Applications as Supporting Tools for Personal Learning Environments
Interview-Based Photo Tagging for Expressing Course Concepts in Ubiquitous Chinese Poetry Learning
An Expedient Study on Back-Propagation (BPN) Neural Networks for Modeling Automated Evaluation of the Answers and Progress of Deaf Students' That Possess Basic Knowledge of the English Language and Computer Skills
Geogebra for Solving Problems of Physics
An Examination of Assessment Practices in Colleges of Business at Various Middle East Countries
Applying MapReduce to Spreading Activation Algorithm on Large RDF Graphs
Sustainable Innovation Strategies in Education: OLPC Case Studies in Ethiopia and Uruguay
Organizational Knowledge Sources Integration through an Ontology-Based Approach: The Onto-DOM Architecture
The Impact of Team Project on Students' Learning: An Analysis of a Global IT Management Course
Discovery and Learning in a Semantic Framework
It's Not Only about Technology, It's about People: Interpersonal skills as a Part of the IT Education
The Applications of Mindfulness with Students of Secondary School: Results on the Academic Performance, Self-concept and Anxiety
Students' Active Role on the Assessment of Learning Results in Blended-Learning Environments in Engineering in Spain
Classification of Satellite Images Using the Cellular Automata Approach
Improving Web Search and Navigation Using Summarization Process
Looking at the Knowledge Economy: Some Issues on Theory and Evidence
Business and IT Alignment: An Evaluation of Strategic Alignment Models
Check Sum Optimization for Transmission and Storage of Digital Information
The Knowledge Society: Refounding the Socius
Evaluation of Mobile Tourist Guides
The Open Knowlege Society. A Computer Science and Information Systems Manifesto, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings
Studying Students' Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments
Advanced Tool to Develop the Assessment Process in Collaborative e-Learning Environments
An Integrated eGovernment Framework for Evaluation of Taiwan Motor Vehicles Driver System
Particle Swarms for Competency-Based Curriculum Sequencing
Blogs as User Based Social Networks for Learning: An Exploratory Study
A Framework to Evaluate the Impact of e-Government Services in the Improvement of the Citizens' Quality of Life
A Recommender System for Learning Goals
The Green and Gold Road: Journal Management and Publishing Workflow Extensions for the DSpace Repository Platform
A Computational Experiment to Describe Opinion Formation Using a Master Equation and Monte Carlo Simulations
Approaches to Learning and Kolb's Learning Styles of Undergraduates with Better Grades
The Relevance of Context in Trust Networks
Enhancing Motivation, School Competence and Self-perception of Physics in the Environment of the Cognitive Tutor CTAT during Physics Instruction
Managing Matrixed, Dispersed Advisors in Virtual Universities
Proposal of a Tool of Support to the Evaluation of User in Educative Web Sites
Knowledge Base Methods of Obtaining Preference of Dental Patients
The Influence of Customer Churn and Acquisition on Value Dynamics of Social Neighbourhoods
The Semi-opened Infrastructure Model (SopIM): A Frame to Set Up an Organizational Learning Process
Towards the Extraction of Intelligence about Competitor from the Web
iPark: A Universal Solution for Vehicle Parking
Human-Centric Design of Percipient Knowledge Distribution Service
An Infrastructure Approach for the Evaluation of E-Learning
Infrastructural Analysis for Enterprise Information Systems Implementation
Operational Strategy of Demand Buses, Using Self-Organizing Map
Semiotic Analysis of Brazilian E-Commerce Signs
Answer or Publish - Energizing Online Democracy
Sustaining Tunisian SMEs' Competitiveness in the Knowledge Society
CICERON-e: Interactive Tourism for SMEs
Understanding Network Mobility in Pervasive Markets: Realistic Human Shopping Behavioral Model
Semantic Reasoning in Advanced E-Learning Brokerage Systems
Can the Learning Process in a Distance University Be Improved?
A Decision Analytic Tool for Assessing Decision Making Performance
The Biggest Human GRID-s of the Future: Hybridization of Science and Public Education
Arguments That Support Decisions in e-Cognocracy: A Qualitative Approach Based on Text Mining Techniques
Quality Development in Education
Semantic Service Search Engine (S3E): An Approach for Finding Services on the Web
Teaching a Foreign Language to Deaf People via Vodcasting & Web 2.0 Tools
Taking Up the Challenge of Evaluating Research Results in the Field of Technology Enhanced Learning
Inclusive Social Tagging: A Paradigm for Tagging-Services in the Knowledge Society
An Ontology Crystallization Approach to Designing Performance-Based Testing Scenario
Specification of Interaction of Digital TV Applications in Converged Scenarios and Using Pre-patterns
Distributed Cognitive Mobile Agent Framework for Social Cooperation: Application for Packet Moving
Linking Semantic Web and Web 2.0 for Learning Resources Management
Teachers Professional Development through Web 2.0 Environments
Knowledge Management and eLearning in Professional Development
Modeling Learning Technology Interaction Using SOPHIE: Main Mappings and Example Usage Scenarios
Immersive Environments - A Connectivist Approach
Is the Software Worker Competent? A View from Spain
Towards the Neuropsychological Diagnosis of Alzheimer's Disease: A Hybrid Model in Decision Making
An Adaptive Web-Based Support to e-Education in Robotics and Automation
Information Logistics for Incomplete Knowledge Processing
Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts
Towards Understanding IT Needs of Social Activists: The Case of the World Social Forum 2006 Organizing Process
A Strategy for Achieving Learning Content Repurposing
Gender Differences in the Continuance of Online Social Networks
Characterization of Texture in Images by Using a Cellular Automata Approach
Interoperability for LMS: The Missing Piece to Become the Common Place for Elearning Innovation
Supplier Networks and the Importance of Information Technology: Outlook on the European Automotive Industry
Assessing the Liquidity of Firms: Robust Neural Network Regression as an Alternative to the Current Ratio
Ontology-Based Modelling of Ocean Satellite Images
A Semantic Based Collaborative System for the Interoperability of XBRL Accounting Information
Design of a Learning Environment for Management Education - The Case of EduORG2.0 at the University of Pisa
Language Micro-gaming: Fun and Informal Microblogging Activities for Language Learning
Analysis of Educational Digital Storytelling Environments: The Use of the "Dimension Star" Model
Integrating Knowledge Engineering and Data Mining in e-commerce Fraud Prediction
Towards Collaborative Complex Learning Objects by the Virtualization of Collaborative Sessions
Personal Learning Environments and the Integration with Learning Management Systems
Generic Competences for the IT Knowledge Workers: A Study from the Field
Assistance System for Disabled People: A Robot Controlled by Blinking and Wireless Link
A Filtering and Recommender System Prototype for Scholarly Users of Digital Libraries
Case-Based Reasoning: A Recent Theory for Problem-Solving and Learning in Computers and People
User Acceptance of a Software Tool for Decision Making in IT Outsourcing: A Qualitative Study in Large Companies from Sweden
Semantically Enriched Tools for the Knowledge Society: Case of Project Management and Presentation
A Recommender System Architecture for Instructional Engineering
Reflections on Educational Technology, Research and School Innovation
Searching with Document Space Adapted Ontologies
Analyzing IT Service Delivery in an ISP from Nicaragua
How Do ICT Uses and New Human Resources Practices Affect SMEs' Efficiency?
On Growth of Network and Centrality's Change Analysis of Co-inventors Network in Enterprise
SISCOVET: Control System of Transport Vehicle Drivers Using GPS Location and Identification through the Electronic ID Card
King Saud University Drive toward the Knowledge Society: A STOPE View
Open Integrated Personal Learning Environment: Towards a New Conception of the ICT-Based Learning Processes
Wisdom Networks: Towards a Wisdom-Based Society
Web 2.0 Applications, Collaboration and Cognitive Processes in Case-Based Foreign Language Learning
Applying IT-Governance Frameworks for SOA and Cloud Governance
A Framework for the Knowledge Society Ecosystem: A Tool for Development
Clean Plate Movement and Empowerment of Civil Leadership for Developing Sustainable Life Style
Spatial Information Retrieval from Images Using Ontologies and Semantic Maps
Moving Assistive Technology on the Web: The Farfalla Experience
Inclusion in the Information Society for the "Excluded" Women in Greek Thrace
An Approach to Curriculum Design for Computer Science
Exploring Learning through Audience Interaction in Virtual Reality Dome Theaters
Learning to Invent: Let the New Knowledge Come
The Impact of Readability on the Usefulness of Online Product Reviews: A Case Study on an Online Bookstore
Security System Technologies Applied to Ambient Assisted Living
A Semantic Web Vocabulary Supporting Brainstorming for Research Communities
Scouting for Drivers of the European Knowledge Society: The Role of Social Participation
ERP and Four Dimensions of Absorptive Capacity: Lessons from a Developing Country
Cultural Aspects of Secrecy in Global Economy
On the Development of Web-Based Argumentative Collaboration Support Systems
A Business Plans Training Tool Based on the Semantic Web Principles
Lend Me Your Voice - A Constructivist Approach to Augmentative Communication
Supporting Effective Monitoring and Knowledge Building in Online Collaborative Learning Systems
Virtual Cultural Tour Personalization by Means of an Adaptive E-Learning System: A Case Study
The Knowledge Society Agenda in Romania: From Experts' Vision to Public Perception
Integration of Google Docs as a Collaborative Activity within the LMS Using IMS BasicLTI
Compositional Effects in Italian Primary Schools: An Exploratory Analysis of INVALSI SNV Data and Suggestions for Further Research
A Criticism on the Bologna's Learning Strategies
Social Recommendations within the Multimedia Sharing Systems
An Assessment of Node Classification Accuracy in Social Networks Using Label-Dependent Feature Extraction
Support of Service Systems by Advanced SOA
Knowledge Management through the Equilibrium Pattern Model for Learning
Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences
'Ethos' Enabling Organisational Knowledge Creation
The Impact of Positive Electronic Word-of-Mouth on Consumer Online Purchasing Decision
Social Networking in Higher Education: A Knowledge Convergence Platform
Indexing Moving Objects: A Real Time Approach
Main Elements of a Basic Ontology of Infrastructure Interdependency for the Assessment of Incidents
Ontology-Based User Modelling Personalization: Analyzing the Requirements of a Semantic Learning Portal
An Introduction to Community Detection in Multi-layered Social Network
Enhancing Collaborative Learning through Group Intelligence Software
Biggest Barriers to Effectiveness in CIO Role in Large Portuguese Companies
Intellectual Capital Management in SMEs and the Management of Organizational Knowledge Capabilities: An Empirical Analysis
An Approach to Metadata Generation for Learning Objects
Using Financial Ratios to Select Companies for Tax Auditing: A Preliminary Study
A Web-Based Learning Information System Resource and Knowledge Management
Investigating Student Satisfaction from Environmental and Architectural Design Elements of 3D Educational Facilities within 3D Virtual Worlds
How to Analyze Company Using Social Network?
Cognitive Agent for Automated Software Installation - CAASI
Business Metrics Discovery by Business Rules
Modelling an Environmental Knowledge-Representation System
Application of Scientific Approaches for Evaluation of Quality of Learning Objects in eQNet Project
Recommendation of Personalized Learning Contents Supported by Semantic Web Technologies
Competitive Learning in Electric Circuit Theory Using MOODLE
A Capability Assessment Framework for the Adoption of B2B Integration Systems
An Interactive Medical Knowledge Assistant
Educational Games Design Issues: Motivation and Multimodal Interaction
LIA: An Intelligent Advisor for e-Learning
Communication and Cooperation Pragmatism: An Analysis of a Community of Practice by Non-deaf and Deaf to Study Sign Language
Pattern Matching Techniques to Identify Syntactic Variations of Tags in Folksonomies
A Queuing Theory and Systems Modeling Course Based on Unified Modeling Language (UML)
A Generic Core Knowledge Management Process: Locating Crucial Knowledge
Ontology-Based Gap Analysis for Technology Selection: A Knowledge Management Framework for the Support of Equipment Purchasing Processes
Measuring Administrative Burdens of e-Government Services for Rural SMEs
Designing a Web-Based VR Machine for Learning of Packaging and Testing Skills
Structure of the Brazilian Sign Language (Libras) for Computational Tools: Citizenship and Social Inclusion
Decade Review (1999-2009): Artificial Intelligence Techniques in Student Modeling
On Linking Cultural Spaces and e-Tourism: An Ontology-Based Approach
Upward Influence Tactics in Virtual Work Settings
Approaches to Knowledge Management in Greek Firms
Towards an Ontology for the Description of Learning Resources on Disaster Risk Reduction
Image and Reputation Coping Differently with Massive Informational Cheating
Improving the Efficiency of Web Searches in Collaborative Learning Platforms
Bypassing School Disenchantment: Strategies to Promote School Attainment
The Concept of Embodied Knowledge for Understanding Organisational Knowledge Creation
A European Languages Virtual Network Proposal
Operationalising the Sustainable Knowledge Society Concept through a Multi-dimensional Scorecard
Content Requirements Identification towards the Design of an Educational Portal
Establishing a Learning Culture: The Importance of Relationships within an Organization
An on Demand Business Context to Improve Software Development Process Based on Business Knowledge
Digital Dividend Aware Business Models for the Creative Industries: Challenges and Opportunities in EU Markets
Preliminary Study of the Expected Performance of MAUT Collaborative Filtering Algorithms
Distributed Dependable Enterprise Business System - DDEBS
Learning Objects Quality: Moodle HEODAR Implementation
Alternative Agrifood Networks as Learning Communities: Some Issues for a Classification Model
The Impact of e-Customer Relationship Marketing in Hotel Industry
Visioning and Engineering the Knowledge Society. A Web Science Perspective, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings
MILCA - A Mobile and Interactive Learning Environment on Campus
Against the Reign of Ignorance
Semantic-Based Tool to Support Assessment and Planning in Early Care Settings
Time Orientation Device for Special Education
Government Online: An E-Government Platform to Improve Public Administration Operations and Services Delivery to the Citizen
Quantum Modeling of Social Networks
Developing e-Business Capabilities to Bridge the Knowledge Divide in Mediterranean Countries
The Study in Group: A Case
The Determinants of the Effectiveness of Online Discussion Board Systems in eLearning: A Case Study
Assessing the Value Dimensions for Customers in Knowledge Intensive Business Services
Localization of Educational Software for Deaf Children: Suggestions and Perspectives
CallimachusDL: Using Semantics to Enhance Search and Retrieval in a Digital Library
Combining OpenEHR Archetype Definitions with SWRL Rules - A Translation Approach
Computer-Supported Interaction for Preparing Logically Organized Documents
Grid Technologies to Support B2B Collaboration
The Development of a Self-assessment System for the Learners Answers with the Use of GPNN
The Rhizomer Semantic Content Management System
Conversation Threads Hidden within Email Server Logs
Eye Knowledge Network: A Social Network for the Eye Care Community
Mobile System to Guide Blind People in a Well-Known Environment
A Multi-criteria Decision Model for Planning Inter-organizational Global Agile Software Development Projects
Framing Knowledge: Global Youth Culture as Knowledge Society (Research in Progress)
Social Networking and Teachers' Professional Development
Don't Break the Memory Line: Social Memory, Digital Storytelling and Local Communities
Factors Influencing e-Business Adoption in the Greek Hotel Sector
A Study for the Organization of the Greek Publishing Enterprises at the Beginning of the 21st Century
Appropriating Technologies for Contextual Knowledge: Mobile Personal Learning Environments
Computer Science Teachers' In-service Training Needs and Their Technological Pedagogical Content Knowledge
Mixed Methods Research Design
Management Guidelines for Database Developers' Teams in Software Development Projects
A Social Networking Exploration of Political Blogging in Greece
IM-TAG: Informal Mentoring Improved by Means of Social Web Contents Tagging
How Intranet Has Been Evolving in Banking: A Longitudinal Research
Development of Online Inquiry Environments to Support Project-Based Learning of Robotics
V-NIP Ceaser: Video Stabilization System