Wyniki wyszukiwania:

ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING), fourtutorials, andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences...

Im Jahr 1997 wurden mit dem Kyoto-Protokoll erstmals verbindliche Zielwerte und Instrumente fur den globalen Klimaschutz und die Eindammung der klimaschadlichen Auswirkungen von Treibhausgasen ins Leben gerufen. Seit dem 1. Januar 2012 wird der stetig wachsende europaische Luftverkehr in den Emissionshandel fur Treibhausgase einbezogen, was eine grosse Herausforderung darstellt. Die Arbeit untersucht in diesem Zusammenhang, ob das Konzept des Emissionshandels ein geeignetes Instrument darstellt, um die negativen Umweltauswirkungen der im Luftverkehr auftretenden Emissionen dem Verursacher...

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), L Aquila (September 2008), and Eindhoven...