WS Karoulias SA v The Drambuie Liqueur Company Ltd

Towards modelling WS-BPEL using ws-calculus

We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WS-BPEL, one of the most used XML-based standard languages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model the interactions among web service instances in a network context. We present this language as a process calcul...

mesuring the staff technology readiness, the case of a multi national chemical company operating in iran

چکیده ندارد.

the test for adverse selection in life insurance market: the case of mellat insurance company

انتخاب نامساعد یکی از مشکلات اساسی در صنعت بیمه است. که ابتدا در سال 1960، توسط روتشیلد واستیگلیتز مورد بحث ومطالعه قرار گرفت ازآن موقع تاکنون بسیاری از پژوهشگران مدل های مختلفی را برای تجزیه و تحلیل تقاضا برای صنعت بیمه عمر که تماما ناشی از عدم قطعیت در این صنعت میباشد انجام داده اند .وهدف از آن پیدا کردن شرایطی است که تحت آن شرایط انتخاب یا کنار گذاشتن یک بیمه گزار به نفع و یا زیان شرکت بیمه ...

Hummingbird Ltd.

The Network File System (NFS) version 4 is a distributed filesystem protocol which owes heritage to NFS protocol version 2, RFC 1094, and version 3, RFC 1813. Unlike earlier versions, the NFS version 4 protocol supports traditional file access while integrating support for file locking and the mount protocol. In addition, support for strong security (and its negotiation), compound operations, c...

A SURVEY OF THE VIEWS OF IRANIAN SA V ANTS (ESPECIALLY PERSIAN MUSLIM PHYSICIANS) ON THE SUBJECT OF CONTAGIOUS DISEASES AND IMMUNITY