We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. The properties are described by means of SocL, a logic specifically designed to capture peculiar aspects of services. Service behaviours are abstracted in terms of Doubly Labelled Transition Systems, which are used as...

In automated trust negotiation(ATN), strangers build trust relationship by disclosing attributes credentials alternately. In the recent study of ATN, there was no rigorous formal definition of ATN abstract model, and have nothing to do with the time behavior. It exist denial of service attack which can lead system to paralysis. We present the basic components of ATN abstract model. It defines A...

Choreography conformance and contract compliance have been widely studied in the context of synchronous communication. In this paper we approach a more realistic scenario in which the messages containing the invocations are queued in the called service. More precisely, we study the foundational aspects of contract compliance in a language independent way by just taking contracts to be finite la...

A. C. Barato, Juan A. Bonachela, C. E. Fiore, H. Hinrichsen, Miguel A. Muñoz Universität Würzburg, Fakultät für Physik und Astronomie, 97074 Würzburg, Germany, Departamento de Electromagnetismo y F́ısica de la Materia and Instituto Carlos I de F́ısica Teórica y Computacional Facultad de Ciencias, Universidad de Granada, 18071 Granada, Spain and Departamento de F́ısica, Universidade Federal do Para...

Superelastic metal-insulator phase transition in single-crystal VO_{2} nanobeams. " Physical Review B 80, no. 24 (December 2009). Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your ...

Currently, Service-Oriented Architecture (SOA) is becoming the most popular software architecture of contemporary enterprise applications, and one crucial technique of its implementation is web services. Individual service offered by some service providers may symbolize limited business functionality; however, by composing individual services from different service providers, a composite servic...

BACKGROUND Transfer of care from one healthcare provider to another is often understood as a suboptimal version of the process of transition. AIMS To separate and evaluate concepts of transfer and transition between child and adolescent mental health services (CAMHS) and adult mental health services (AMHS). METHOD In a retrospective case-note survey of young people reaching the upper age bo...

Refugees tend to have greater vulnerability compared to the general population reporting greater need for physical, emotional, or dental problems compared to the general population. Despite the importance of creating strong primary care supports for these patients, it has been demonstrated that there is a significant gap in accessing primary care providers who are willi...