Government of India
Recognizing the ongoing need to position itself for the digital future, Indian Culture is an initiative by the Ministry of Culture. A platform that hosts data of cultural relevance from various repositories and institutions all over India.Indian Culture App
Web Services and Formal Methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / edited by Emilio Tuosto, Chun Ouyang.
Contributor(s): Tuosto, Emilio [edt]
| Ouyang, Chun [edt].
Material type: 
TextSeries: Lecture Notes in Computer Science, 8379. Publisher: Cham : Springer International Publishing, 2014Description: 1 online resource (IX, 189 p. 37 ill.).ISBN: 9783319082608.Subject(s): Computer science | Software engineering | Programming languages (Electronic computers) | Computer logic | User interfaces (Computer systems) | Management information systemsOnline resources: Click here to access online
Contents:
Introducing cloud activities around pacific rim -- Choreography revisited -- On the behaviour of general-purpose applications on cloud storages -- Formalizing RESTful services and web-OS middleware -- Visualization of successor relations in business process models -- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach -- Safe orchestration of Web services with unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running transactions.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| National Library of India | Available | NLI-EBK000025069ENG |
Introducing cloud activities around pacific rim -- Choreography revisited -- On the behaviour of general-purpose applications on cloud storages -- Formalizing RESTful services and web-OS middleware -- Visualization of successor relations in business process models -- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach -- Safe orchestration of Web services with unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running transactions.