Nothing Special   »   [go: up one dir, main page]

Siewe et al., 2010 - Google Patents

Formalising Policies of a mLearning System using CCA

Siewe et al., 2010

View PDF
Document ID
10244819890451715305
Author
Siewe F
Zedan H
Publication year

External Links

Snippet

ABSTRACT The Calculus of Context-aware Ambients (CCA in short) has been proposed as a suitable notation for modelling mobile applications that are context-aware. This paper considers a real-world case study of an infostation-based mLearning system which enables …
Continue reading at www.academia.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30861—Retrieval from the Internet, e.g. browsers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network-specific arrangements or communication protocols supporting networked applications
    • H04L67/16—Service discovery or service management, e.g. service location protocol [SLP] or Web services
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network-specific arrangements or communication protocols supporting networked applications
    • H04L67/28—Network-specific arrangements or communication protocols supporting networked applications for the provision of proxy services, e.g. intermediate processing or storage in the network
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network-specific arrangements or communication protocols supporting networked applications
    • H04L67/10—Network-specific arrangements or communication protocols supporting networked applications in which an application is distributed across nodes in the network
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network-specific arrangements or communication protocols supporting networked applications
    • H04L67/30—Network-specific arrangements or communication protocols supporting networked applications involving profiles

Similar Documents

Publication Publication Date Title
Khushraj et al. sTuples: semantic tuple spaces
Hassani et al. Context-as-a-Service Platform: exchange and share context in an IoT ecosystem
Jorstad A service-oriented architecture framework for mobile services
US20120249298A1 (en) Method and apparatus for providing biometric authentication using distributed computations
CN102972003A (en) Method and apparatus for providing reactive authorization
Kabir et al. User-centric social context information management: an ontology-based approach and platform
Augustin et al. ISAM, Joining Context-Awareness and Mobility to Building Pervasive Applications.
Stoyanov et al. Intelligent distributed eLearning architecture
US8745121B2 (en) Method and apparatus for construction and aggregation of distributed computations
Padovitz et al. The ECORA framework: A hybrid architecture for context-oriented pervasive computing
Younas et al. A new model for context-aware transactions in mobile services
Yong Design and implementation of intelligent English electronic dictionary system based on internet of things
Al-Sammarraie et al. Formalising Policies of a mLearning System using CCA
Siewe et al. Formalising Policies of a mLearning System using CCA
Nam et al. Optimal algorithm for Internet-of-Things service composition based on response time
Prokić et al. Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Ding et al. Performance modelling of content adaptation for a personal distributed environment
Almutairi et al. Formal specification of CA-UCON model using CCA
Yu et al. Linked context: A linked data approach to personalised service provisioning
Augustin et al. Managing the follow-me semantics to build large-scale pervasive applications
Kadous et al. MICA: Pervasive Middleware for Learning, Sharing and Talking.
Raatikainen Middleware for mobile applications beyond 3G
Al-Sammarraie et al. Formal specification of an intelligent message notification service in an infostation-based mLearning system using CCA
Bonelli et al. Boxed ambients with communication interfaces
Saadon et al. Semantic-based discovery framework for web services in mobile computing environment