Extension developers deal with errors User has no conflict errors The full solution consists of: Forwarding Van Wyk. de Moor. Backhouse. Kwiathowski. "Forwarding in attribute grammars for modular language design." CC '02 Copper's modular analysis for syntax Schwerdfeger. Van Wyk. "Verifiable composition of deterministic grammars." PLDI '09 Silver's modular analysis for semantics Kaminski. Van W...

Question answering (QA) systems focus on making sense out of data via an easy-to-use interface. However, these systems are very complex and integrate a lot of technology tightly. Previously presented QA systems are mostly singular and monolithic implementations. Hence, their reusability is limited. In contrast, we follow the research agenda of establishing an ecosystem for components of QA syst...

The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. These distributed services have become increasingly dependent, not only on the system and network infrastructures upon which they are built, but also each other. The effectiveness of a diagnostician is seriously hindered b...

Despite increased awareness, poor adherence to treatments for chronic diseases remains a global problem. Adherence issues are common in patients taking antihypertensive therapy and associated with increased risks of coronary and cerebrovascular events. Whilst there has been a gradual trend toward improved control of hypertension, the number of patients with blood pressure values above goal has ...

A stroke care strategy was developed in 2007 to improve stroke services in Victoria, Australia. Eight stroke network facilitators (SNFs) were appointed in selected hospitals to enable the establishment of stroke units, develop thrombolysis services, and implement protocols. We aimed to explain the main issues being faced by clinicians in providing evidence-based stroke care, and to determine if...

BACKGROUND Despite mandates and incentives for electronic health record (EHR) adoption, little is known about factors predicting physicians' satisfaction following EHR implementation. OBJECTIVE To measure predictors of physician satisfaction following EHR adoption. METHODS A total of 163 physicians completed a mailed survey before and after EHR implementation through a statewide pilot proje...

Bringing evidence-based treatments to community practice is a critical challenge for the field. When implemented in the community, evidence-based treatments often fail to provide the benefits shown in laboratory settings. Therefore, when evidence-based treatments are transported to the community, it is essential to investigate implementation process and outcomes. The present study assessed whet...

Embedded devices have come to play an important role in our daily lives. Increasingly, diverse fields like healthcare systems, banks and more are using these devices to automate underlying complex tasks. This reliance has led to a significant development – exposure of devices to malicious attacks, including control and subversion of software onboard. Software attestation has been herald as a so...

A sim p lifi e d L o re n z syste m w ith o n e b ifurcatio n p aram e te r is in v e stig ate d b y a d e taile d th e o re tical an alysis as w e ll as d yn am ic sim ulatio n , in c lud in g so m e b asic d yn am ical p ro p e rtie s, L yap un o v e x p o n e n t sp e c tra, frac tal d im e n sio n , b ifurcatio n s an d ro ute s to ch ao s. T h e re sults sh o w th at th is syste m h as c o...

This paper refines a well-known set of template models for agent-based modeling and offers new reference implementations. It also addresses issues of design, flexibility, and ease of use that are relevant to the choice of an agent-based modeling platform.