Search Results - "MacCaull, Wendy"

An Efficient Explicit-time Description Method for Timed Model Checking by Wang, Hao, MacCaull, Wendy

“…Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the…”
Get full text

Verifying Real-Time Systems using Explicit-time Description Methods by Wang, Hao, MacCaull, Wendy

“…Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On…”
Get full text

Architecture for ontology-supported multi-context reasoning systems by LeClair, Andrew, Jaskolka, Jason, MacCaull, Wendy, Khedri, Ridha

“…Modern smart systems such as those needed for Industry 4.0 integrate data from various sources and increasingly require that data be contextualized with domain…”
Get full text

A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective by LeClair, Andrew, Marinache, Alicia, El Ghalayini, Haya, MacCaull, Wendy, Khedri, Ridha

“…In the past two decades, the use of ontologies has grown accompanied by a diversity in ontological representations and applications to more comprehensive…”
Get full text

User-Friendly UIs for the Execution of Clinical Practice Guidelines by Rabbi, Fazle, MacCaull, Wendy

“…Workflow management systems (WfMS) can be used to manage complex processes, such as those described by Clinical Practise Guidelines (CPG). Such processes…”
Get full text

Aspects of ubiquitous computing for improved clinical practice by Jaatun, Ellen A. A., MacCaull, Wendy

“…Issue Title: Theme issue on mobile and pervasive games / Special Issue on Aspects of ubiquitous computing for improved clinical practice…”
Get full text

Model checking timed properties of healthcare processes by Miller, Keith, MacCaull, Wendy

“…Healthcare workflows (careflows) involve complex, distributive processes with a high degree of variability. There are ubiquitous communication and enormous…”
Get full text

A scalable ontology reasoner via incremental materialization by Rabbi, Fazle, MacCaull, Wendy, Faruqui, Rokan Uddin

“…Ontology based knowledge management systems have a lot of potential: their applicability ranges from artificial intelligence, e.g., for knowledge…”
Get full text

Diel variations in the photosynthetic parameters of coastal marine phytoplankton by MacCaull, Wendy A., Platt, Trevor

“…The diel variations in the assimilation number, Pm B, of natural assemblages of coastal marine phytoplankton were examined and a working model proposed to…”
Get full text

Information technology and hospice palliative care: social, cultural, ethical and technical implications in a rural setting by Kuziemsky, Craig, Jewers, Heather, Appleby, Brenda, Foshay, Neil, Maccaull, Wendy, Miller, Keith, Macdonald, Madonna

“…Objective There is a need to better understand the specific settings in which health information technology (HIT) is used and implemented. Factors that will…”
Get full text

DIS: A Data-centred Knowledge Representation Formalism by Marinache, Alicia, Khedri, Ridha, LeClair, Andrew, MacCaull, Wendy

“…The Domain Information System (DIS) is a novel data-centered knowledge representation formalism that offers a modular structure, which separates the domain…”
Get full text

A Logic of Type Relations and its Applications to Relational Databases by MacCaull, W., Orlowska, E.

“…A calculus of typed relations subsuming the classical relational database theory is presented. An associated sound and complete deduction mechanism is…”
Get full text

A Kripke Semantics for the Logic of Gelfand Quantales by Allwein, Gerard, MacCaull, Wendy

“…Gelfand quantales are complete unital quantales with an involution, *, satisfying the property that for any element a, if$a\odot b\leq a$for all b, then$a\odot…”
Get full text

A Parallel Framework for Handling Non-determinism with Expressive Description Logics by Faddoul, Jocelyne, MacCaull, Wendy

“…Multicore processors are nowadays widespread across desktop, laptop, server, and even smartphone and tablets devices. The rise of such powerful execution…”
Get full text

Relational semantics and a relational proof system for full Lambek calculus by MacCaull, Wendy

“…In this paper we give relational semantics and an accompanying relational proof theory for full Lambek calculus (a sequent calculus which we denote by FL). We…”
Get full text

Towards an Ontology Design Architecture by Jaskolka, Jason, MacCaull, Wendy, Khedri, Ridha

“…As the world enters the age of "big data", new ways to represent and reason on enormous amounts of data are demanded and expected. Work in developing…”
Get full text

Tableau method for residuated logic by MacCaull, Wendy

“…Residuated logic is a generalization of intuitionistic logic, which does not assume the idempotence of the conjunction operator. Such generalized conjunction…”
Get full text

A note on Kripke semantics for residuated logic by MacCaull, Wendy

“…Residuated logic is a suitable logical system for approximate reasoning and for the development of fuzzy mathematics. Residuated propositional logic (RPC) is…”
Get full text

Relational methods in computer science by Desharnais, Jules, Frappier, Marc, Jaoua, Ali, MacCaull, Wendy

Get full text

A Model Slicing Method for Workflow Verification by Rabbi, Fazle, Wang, Hao, MacCaull, Wendy, Rutle, Adrian

“…Workflow systems increase productivity and quality of service; however, defects in a workflow model may have severe consequences. While model checking…”
Get full text