![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessTemporomandibular trauma and reflections on personal evaluation
The International Consortium Network/Orofacial Pain Special Interest Group focuses on temporomandibular disease diagnosis procedure guidelines as a reference iQAn this scope. Concerning this reference, the aim...
-
Article
Open AccessAn evidence-informed policymaking (EIPM) competency profile for the Brazilian Health System developed through consensus: process and outcomes
Evidence-informed policymaking (EIPM) requires a set of individual and organizational knowledge, skills and attitudes that should be articulated with background factors and needs. In this regard, the developme...
-
Chapter and Conference Paper
Place Marketing and Destination Management: A Study in the “Quadrilátero do Minho”
Territorial Marketing is a set of strategic actions planned, aiming to improve the competitiveness of a territory and consequently contributing to its development, promoting the satisfaction of the residents ‘...
-
Chapter
Smart Roofs System: Moisture and Temperature Monitoring on Smart Roofs
Rooftop materials are fast evolving to provide superior user comfort and advantageous product life cycles, but current commercial waterproofing solutions are confronted with persistent quality anomalies that a...
-
Chapter and Conference Paper
Building a Polyglot Data Access Layer for a Low-Code Application Development Platform
Low-code application development as proposed by the OutSystems Platform enables fast mobile and desktop application development and deployment. It hinges on visual development of the interface and business log...
-
Chapter and Conference Paper
Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients
Telerehabilitation is an alternative way for physical therapy of stroke patients. The monitoring and correction of exercises can be done through the analysis of body movements recorded by an optical motion ca...
-
Article
Open AccessUnexpected triggers for pheochromocytoma-induced recurrent heart failure
Pheochromocytoma crisis typically presents as paroxysmal episodes of headache, tachycardia, diaphoresis or hypertension. We describe an uncommon case of recurrent non-hypertensive heart failure with systolic d...
-
Chapter
The Sensoria Reference Modelling Language
This chapter provides an overview of SRML — the Sensoria Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodologi...
-
Chapter and Conference Paper
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being defined within the SENSORIA p...
-
Chapter and Conference Paper
A Coordination Model for Service-Oriented Interactions
We present a formal model for the coordination of interactions in service-oriented systems. This model provides a declarative semantics for the language SRML that is being developed under the FET-GC2 project S...
-
Chapter and Conference Paper
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being developed within the SENSORIA project as part...
-
Chapter and Conference Paper
Checking the Conformance of Java Classes Against Algebraic Specifications
We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic specifications. Our proposal consists in determining, at run-time, whether the classe...