Software Engineering

37

IIWAS
2008

146views Internet Technology» more IIWAS 2008»

A model-prover for constrained dynamic conversations

13 years 11 months ago

In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...

Diletta Cacciagrano, Flavio Corradini, Rosario Cul...

claim paper

Read More »

28

click to vote

ICSOFT
2008

151views Software Engineering» more ICSOFT 2008»

An Architecture for Non Functional Properties Management in Distributed Computing

13 years 11 months ago

Download www.cs.ncl.ac.uk

One of the primary benefits of Service Oriented Architecture (SOA) [1] is the ability to compose applications, processes or more complex services from other services. As the comple...

Pierre de Leusse, Panos Periorellis, Theodosis Dim...

claim paper

Read More »

30

click to vote

ICSOFT
2008

127views Software Engineering» more ICSOFT 2008»

PlayMancer: A European Serious Gaming 3D Environment

13 years 11 months ago

Download publik.tuwien.ac.at

Elias Kalapanidas, Hikari Watanabe, Costas Davarak...

claim paper

Read More »

21

click to vote

ICSOFT
2008

102views Software Engineering» more ICSOFT 2008»

A Mental Health Self-Check System using Nonlinear Analysis of Pulse Waves

13 years 11 months ago

Download www.k4.dion.ne.jp

Previously, we demonstrated that simple, low-cost measurement of an individual's mental health is possible using nonlinear analysis of pulse waves. Here we introduce a trial s...

Mayumi Oyama-Higa, Kazuo Sato, Kazuyoshi Tanaka, T...

claim paper

Read More »

28

click to vote

ICSOFT
2008

120views Software Engineering» more ICSOFT 2008»

Determining Severity and Recommendations in Process Non-Conformance Instances

13 years 11 months ago