A deductive system for proving workflow models from operational procedures (Englisch)
- Neue Suche nach: Rasmussen, R.
- Neue Suche nach: Brown, R.
- Neue Suche nach: Rasmussen, R.
- Neue Suche nach: Brown, R.
In:
FUTURE GENERATION COMPUTER SYSTEMS
;
28
, 5
;
732-742
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A deductive system for proving workflow models from operational procedures
-
Beteiligte:Rasmussen, R. ( Autor:in ) / Brown, R. ( Autor:in )
-
Erschienen in:FUTURE GENERATION COMPUTER SYSTEMS ; 28, 5 ; 732-742
-
Verlag:
- Neue Suche nach: Elsevier Science B.V., Amsterdam.
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:11 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 28, Ausgabe 5
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 709
-
A novel algorithm for dynamic task schedulingNayak, Sasmita Kumari / Padhy, Sasmita Kumari / Panigrahi, Siba Prasada et al. | 2011
- 718
-
Energy-efficient and multifaceted resource management for profit-driven virtualized data centersGoiri, Íñigo / Berral, Josep Ll. / Fitó, J. Oriol / Julià, Ferran / Nou, Ramon / Guitart, Jordi / Gavaldà, Ricard / Torres, Jordi et al. | 2011
- 732
-
A deductive system for proving workflow models from operational proceduresRasmussen, Rune / Brown, Ross et al. | 2012
- 743
-
Energy efficiency in large-scale distributed systemsTrinh, Tuan Anh / Hlavacs, Helmut / Talia, Domenico et al. | 2011
- 745
-
Power-aware linear programming based scheduling for heterogeneous computer clustersAl-Daoud, Hadil / Al-Azzoni, Issam / Down, Douglas G. et al. | 2011
- 755
-
Energy-aware resource allocation heuristics for efficient management of data centers for Cloud computingBeloglazov, Anton / Abawajy, Jemal / Buyya, Rajkumar et al. | 2011
- 769
-
Energy-aware service allocationBorgetto, Damien / Casanova, Henri / Da Costa, Georges / Pierson, Jean-Marc et al. | 2011
- 780
-
A distributed energy-efficient clustering algorithm with improved coverage in wireless sensor networksLiu, Zhixin / Zheng, Qingchao / Xue, Liang / Guan, Xinping et al. | 2011
- 791
-
T-Alloc: A practical energy efficient resource allocation algorithm for traditional data centersQuan, Dang Minh / Mezza, Federico / Sannenli, Domenico / Giafreda, Raffaele et al. | 2011
- 801
-
A performance and energy optimization mechanism for cooperation-oriented multiple server clustersXue, Zhenghua / Dong, Xiaoshe / Hu, Leijun / Li, Jianhui et al. | 2011
- 811
-
Design and implementation of adaptive power-aware virtual machine provisioner (APA-VMP) using swarm intelligenceJeyarani, R. / Nagaveni, N. / Vasanth Ram, R. et al. | 2011
- IFC
-
Editorial Board| 2012
- iii
-
Contents| 2012