Applied Computing | Sciweavers

30

ICTAC
2009
Springer

142views Applied Computing» more ICTAC 2009»

Automatic Conflict Detection on Contracts

13 years 6 months ago

Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

claim paper

Read More »

40

click to vote

ICTAC
2009
Springer

136views Applied Computing» more ICTAC 2009»

Integration Testing from Structured First-Order Specifications via Deduction Modulo

13 years 6 months ago

Download www.lri.fr

Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...

Delphine Longuet, Marc Aiguier

claim paper

Read More »

20

click to vote

ICSOC
2009
Springer

115views Applied Computing» more ICSOC 2009»

Cross-Layer Adaptation and Monitoring of Service-Based Applications

13 years 6 months ago

Download www.s-cube-network.eu

Raman Kazhamiakin, Marco Pistore, Asli Zengin

claim paper

Read More »

19

click to vote

ICSOC
2009
Springer

115views Applied Computing» more ICSOC 2009»

Calculating Service Fitness in Service Networks

13 years 6 months ago

Download www.s-cube-network.eu

Martin Treiber, Vasilios Andrikopoulos, Schahram D...

claim paper

Read More »

20

click to vote

ICSOC
2009
Springer

105views Applied Computing» more ICSOC 2009»

User-Centric Composition of Service Front-Ends at the Presentation Layer

13 years 6 months ago

Download fast.morfeo-project.eu

Tobias Nestler, Lars Dannecker, Andreas Pursche

claim paper

Read More »

18

click to vote

ICSOC
2009
Springer

108views Applied Computing» more ICSOC 2009»

Replacement Policies for Service-Based Systems

13 years 6 months ago

Download www.s-cube-network.eu

Khaled Mahbub, Andrea Zisman

claim paper

Read More »

21

click to vote

ICSOC
2009
Springer

90views Applied Computing» more ICSOC 2009»

On the Support of Dynamic Service Composition at Runtime

13 years 6 months ago

Download eprints.eemcs.utwente.nl

Abstract. Network-based software application services are receiving a lot of attention in recent years, as observed in developments as Internet of Services, Software as a Service a...

Eduardo Goncalves da Silva, Luís Ferreira P...

claim paper

Read More »

25

click to vote

ICSOC
2009
Springer

117views Applied Computing» more ICSOC 2009»

Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Ad-hoc and situational applications for personal use will gain more and more traction in the work support for knowledge workers (KWers). Personal information is a key element in th...

Olaf Grebner

claim paper

Read More »

17

click to vote

ICSOC
2009
Springer

85views Applied Computing» more ICSOC 2009»

Runtime Prediction of Service Level Agreement Violations for Composite Services

13 years 6 months ago