Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

57

Bibliographic Details
Main Authors:	EPEW 2007 (2007 : Berlin, Germany), Wolter, Katinka
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2007
Subjects:	Formal methods (Computer science) Stochastic models Computer systems
Online Access:	http://dx.doi.org/10.1007/978-3-540-75211-0

Similar Items

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
by: International SPIN Workshop (14th : 2007 : Berlin, Germany), et al.
Published: (2007)

ECOOP 2007 -- Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007: Proceedings /
by: ECOOP 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
by: CAV Conference (19th : 2007 : Berlin, Germany), et al.
Published: (2007)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
by: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
Published: (2007)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /
by: FORMATS 2007 (2007 : Salzburg, Austria), et al.
Published: (2007)

Network-based information systems : first international conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007 : proceedings /
by: NBiS 2007 (2007 : Regensburg, Germany), et al.
Published: (2007)

Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007: Proceedings /
by: SAFECOMP 2007 (2007 : Nuremberg, Germany), et al.
Published: (2007)

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 : proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
by: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Published: (2007)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007: Proceedings /
by: CHES 2007 (2007 : Vienna, Austria), et al.
Published: (2007)

Natural phenomena 2007 : Eurographics workshop on natural phenomena, Prague, Czech Republic, September 4, 2007 /
by: Eurographics Workshop on Natural Phenomena (3rd : 2007 : Prague, Czech Republic), et al.
Published: (2007)

Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007: Proceedings /
by: IWSOS 2007 (2007 : Keswick, Cumbria, England), et al.
Published: (2007)

High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007: Proceedings /
by: HPCC 2007 (2007 : Houston, Tex.), et al.
Published: (2007)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
by: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Published: (2007)

Nanopolymers 2007 : the international conference 12th - 13th June, Berlin Germany
by: International conference (2007 : Berlin, Germany), et al.
Published: (2007)

Computer Security - ESORICS 2007 [electronic resource] : 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007: Proceedings /
by: European Symposium on Research in Computer Security (12th : 2007 : Dresden, Germany), et al.
Published: (2007)

Intelligent Virtual Agents [electronic resource] : 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings /
by: IVA 2007 (2007 : Paris, France), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Advances in computation and intelligence : second international symposium, ISICA 2007, Wuhan, China, September 21-23, 2007 : proceedings /
by: ISICA 2007 (2007 : Wuhan, China), et al.
Published: (2007)

Recent advances in intrusion detection : 10th International Symposium, RAID 2007, Gold Coast, Australia, September 5-7, 2007, proceedings /
by: RAID 2007 (2007 : Gold Coast, Qld.), et al.
Published: (2007)

Automata, languages and programming : 34th international colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007 : proceedings /
by: International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroclaw, Poland), et al.
Published: (2007)

Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings /
by: BIRD 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Trust, Privacy and Security in Digital Business [electronic resource] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007: Proceedings /
by: TrustBus 2007 (2007 : Regensburg, Germany), et al.
Published: (2007)

Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. /
by: Summer School on Reasoning Web (3rd : 2007 : Dresden, Germany), et al.
Published: (2007)

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007: Proceedings /
by: NPC 2007 (2007 : Dalian Shi, China), et al.
Published: (2007)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), et al.
Published: (2007)

Text, speech, and dialogue : 10th international conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007 :proceedings /
by: TSD 2007 (2007 : Plzecaronn, Czech Republic), et al.
Published: (2007)

Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedings /
by: MCU 2007 (2007 : Orleans, France), et al.
Published: (2007)

Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
by: FSE 2007 (2007 : Luxembourg, Luxembourg), et al.
Published: (2007)

Intelligence and security informatics [electronic resource]: Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007 : proceedings/
by: PAISI 2007 (2007 : Chengdu, China), et al.
Published: (2007)

Intelligence and security informatics [electronic resource]: Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007 : proceedings/
by: PAISI 2007 (2007 : Chengdu, China), et al.
Published: (2007)

Algorithms and data structures : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings /
by: WADS 2007 (2007 : Halifax, N. S.), et al.
Published: (2007)

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007: Proceedings /
by: SLS 2007 (2007 : Brussels, Belgium), et al.
Published: (2007)

Dependable Computing [electronic resource]: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007: Proceedings/
by: LADC 2007 (2007 : Morelia, Michoacan de Ocampo, Mexico), et al.
Published: (2007)

Frontiers in Algorithmics [electronic resource] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007: Proceedings /
by: FAW 2007 (2007 : Lanzhou Shi, China), et al.
Published: (2007)

Reconfigurable computing : architectures, tools, and applications : third international workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007 : proceedings /
by: ARC 2007 (2007 : Mangaratiba, Brazil), et al.
Published: (2007)

Advanced microsystems for automotive applications 2007 /
by: Conference on Advanced Microsystems for Automotive Applications (11th : 2007 : Berlin, Germany), et al.
Published: (2007)

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
by: FAST 2006 (2006 : Hamilton, Ont.), et al.
Published: (2007)