Skip to main content
Abstract. In this article, the development of software for SI2000 digital switch node is described, focusing on software architecture for a MGCP protocol stack. A decoder and an encoder for the MGCP protocol have been developed with the... more
    • by 
    •   9  
      Model CheckingSimulationKey wordsFormal Verification
Purpose—The growing service sector has experienced several revolutions that have transformed the way services are created and delivered. In parallel, services increasingly pique the interest of scholars, resulting in an expanding body of... more
    • by  and +2
    •   14  
      MarketingServices Marketing and ManagementContent AnalysisService-Dominant Logic
OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven trustworthy component with a clean and high performance... more
    • by 
    •   8  
      Communication SystemFormal VerificationReal TimeHigh performance
    • by 
    •   3  
      Computer GraphicsOpenglSDL
    • by 
    •   6  
      C++MazeBacktrackingMaze Solver
The changing educational context and dynamic needs around increasing online learning at all education levels highlight the importance of self-directed learning. In this regard, self-directed learning, which involves both a process and... more
    • by 
    •   13  
      Self-Determination TheoryLearner AutonomySelf-Regulated Learning (Education)Self-directed learning
Recreational vehicle (RV) manufacturers have traditionally been viewed as having no direct effect on caravanning experiences beyond their role as the suppliers of the vehicles. Drawing on the theoretical approach known as service-dominant... more
    • by 
    •   98  
      MarketingAutomotive Systems EngineeringTourism StudiesTourism Marketing
This book addresses the challenge posed by J.K. Galbraith over fifty years ago to make a constructive contribution to a different style of economic analysis - the economics of abundance. It identifies a system of abundance inhabited by... more
    • by 
    •   67  
      MarketingPolitical SociologySocial PsychologyEconomics
    • by 
    • SDL
    • by  and +1
    •   9  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
    • by 
    •   7  
      DesignSpace and PlaceConsumer CultureBranding
Purpose The growing service sector has experienced several revolutions that have transformed the way services are created and delivered. In parallel, services increasingly pique the interest of scholars, resulting in an expanding body of... more
    • by 
    •   15  
      MarketingServices Marketing and ManagementContent AnalysisEmotions
Organized groups present a major use of wilderness resources. The focus of this paper is on the research findings that have emerged over the past 12 years concerning the benefits and effects of participation by groups in wilderness and... more
    • by 
    •   2  
      SDLGroup Dynamic
    • by 
    •   9  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
The rapid development and incredible variety of contemporary placename studies has given birth to a very complex landscape, featuring both theoretical propositions (e.g. critical toponymies) and a vast array of case studies, ranging from... more
    • by  and +1
    •   231  
      SemioticsLanguagesReligionHistory
    • by 
    •   10  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
    • by 
    •   9  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
Purpose The growing service sector has experienced several revolutions that have transformed the way services are created and delivered. In parallel, services increasingly pique the interest of scholars, resulting in an expanding body of... more
    • by 
    •   15  
      MarketingServices Marketing and ManagementContent AnalysisEmotions
SDL is a graphical language, standardized under the Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. In this paper we have three objectives, first present an... more
    • by 
    •   7  
      Computer ScienceXMLSimulationFormalism
    • by 
    •   9  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
    • by 
    •   9  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
    • by 
    • SDL
    • by 
    •   6  
      Language UseRequirement EngineeringGoal OrientationLarge Scale
    • by  and +1
    •   8  
      Communication SystemFormal VerificationReal TimeHigh performance
The main objective of the study was to identify the self-directed learning and traditional learning in Mathematics at secondary level. An experimental research study was conducted to check the effectiveness of self-directed learning. For... more
    • by 
    •   3  
      MathematicsLearningSDL
    • by 
    •   5  
      Code GenerationFormal VerificationFormal ModelDevelopment Process
The main objective of the study was to identify the self-directed learning and traditional learning in Mathematics at secondary level. An experimental research study was conducted to check the effectiveness of self-directed learning. For... more
    • by 
    •   3  
      MathematicsLearningSDL
The changing educational context and dynamic needs around increasing online learning at all education levels highlight the importance of self-directed learning. In this regard, self-directed learning, which involves both a process and... more
    • by 
    •   8  
      Self-Regulated Learning (Education)Self-Directed Learning (Education)Systematic Literature ReviewEducation in Sub Saharan Africa
    • by 
    •   9  
      Computer ScienceSoftware EngineeringOperations ResearchModeling and Simulation
    • by 
    •   2  
      SDLIntermediate Representation
    • by 
    •   8  
      Communication SystemFormal VerificationReal TimeHigh performance