ISAS 2005 | Sciweavers

12

ISAS
2005
Springer

139views Information Technology» more ISAS 2005»

Contract-Based Web Service Composition Framework with Correctness Guarantees

13 years 10 months ago

Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...

Nikola Milanovic

claim paper

Read More »

18

click to vote

ISAS
2005
Springer

142views Information Technology» more ISAS 2005»

Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability

13 years 10 months ago

Download www.chillarege.com

— The Session Initiation Protocol (SIP) has emerged as the preferred Internet telephony signaling protocol for communications networks. In this capacity, it becomes increasingly ...

Vijay K. Gurbani, Lalita Jagadeesan, Veena B. Mend...

claim paper

Read More »

10

click to vote

ISAS
2005
Springer

115views Information Technology» more ISAS 2005»

Dependable Distributed Computing Using Free Databases

13 years 10 months ago

Download wwwse.inf.tu-dresden.de

Abstract. Designing and programming dependable distributed applications is very diﬃcult. Databases provide features like transactions and replication that can help in the impleme...

Christof Fetzer, Trevor Jim

claim paper

Read More »

10

click to vote

ISAS
2005
Springer

102views Information Technology» more ISAS 2005»

Proof-Based System Engineering Using a Virtual System Model

13 years 10 months ago

Download www-rocq.inria.fr

Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...

Martin Biely, Gérard Le Lann, Ulrich Schmid

claim paper

Read More »

8

click to vote

ISAS
2005
Springer

76views Information Technology» more ISAS 2005»

Model-Based Optimization of Enterprise Application and Service Deployment

13 years 10 months ago