Filters








29 Hits in 6.6 sec

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform [chapter]

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
2005 Lecture Notes in Computer Science  
We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions.  ...  A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis  ...  It is a pleasure to thank the other members of the project for their contributions and comments on the work reported here.  ... 
doi:10.1007/11526841_20 fatcat:jbclc5sssfgy5kcfg7kweazhai

Choreographing Security and Performance Analysis for Web Services [chapter]

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
2005 Lecture Notes in Computer Science  
Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance.  ...  A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.  ...  The Choreographer design platform is a Java application which has been successfully tested on Windows and Red Hat Linux systems.  ... 
doi:10.1007/11549970_15 fatcat:wk4b4xn7gzcblffychpxaksy7a

Barbed Model–Driven Software Development: A Case Study

Carlo Montangero, Laura Semini
2008 Electronical Notes in Theoretical Computer Science  
a number of barbs, relating models in the spine to specialized models that permit specific analysis of parts of the software.  ...  The goal is twofold: to get acquainted with the technologies, and to provide a first assessment of their suitability for subsequent explorations.  ...  Choreographer is a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions [14] .  ... 
doi:10.1016/j.entcs.2008.03.092 fatcat:mdza5sq6une5hhszbuadymlrfi

Semantic-Based Development of Service-Oriented Systems [chapter]

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
2006 Lecture Notes in Computer Science  
and quantitative analysis methods, and model transformations from UML to process calculi.  ...  The IST-FET Integrated Project SENSORIA aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are  ...  (developed by the DEGAS project [?]) can perform quantitative analysis via PEPA which starts and ends with UML models.  ... 
doi:10.1007/11888116_3 fatcat:lkiwczznjzfbrcy5fcgifbyeaq

XRound: A reversible template language and its application in model-based security analysis

Howard Chivers, Richard F. Paige
2009 Information and Software Technology  
As a result of using reversible templates, it is possible to seamlessly and automatically integrate the results of a security analysis with a model.  ...  Abstract Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models themselves  ...  By contrast, the work in the DEGAS project explored security analysis in the context of the Choreographer platform [19] , but they did not present a concrete transformation language as well.  ... 
doi:10.1016/j.infsof.2008.05.006 fatcat:53n2zvzjbjcxbfafm3jl65uzoe

Edgar Degas, Dancer Making Points, 1879-1880 [chapter]

2021 French Paintings and Pastels, 1600-1945: The Collections of the Nelson-Atkins Museum of Art  
Vincent Van Gogh: Between Earth and Heaven; The Landscapes, Kunstmuseum Basel, Switzerland, April 26-September 27, 2009, no. 51 The Nelson-Atkins Museum of Art | French Paintings and Pastels,  ...  Van Gogh in Saint-Rémy and Auvers, The Metropolitan Museum of Art, New York, November 25, 1986-March 22, 1987 The Nelson-Atkins Museum of Art | French Paintings and Pastels, 1600-1945 l'Oro e l'Azzurro  ...  She often brought pictures on consignment from New York and Paris dealers to her Kansas City gallery. She and Parsons worked together to secure the Van Gogh for the museum in Kansas City.  ... 
doi:10.37764/78973.5.616 fatcat:hnnpkc5g6jd3dc6uxnquosw73m

Status of Elementary Teacher Development: Preparing Elementary Teachers to Deliver Technology and Engineering Experiences

Mary Annette Rose, Vinson Carter, Josh Brown, Steven Shumway
2017 Journal of Technology Education  
This catalog is an informational guide to Ball State University. The information in this catalog is subject to change and should not be considered a contract.  ...  The university, through its academic advising system, will make every effort to help students adapt to changes in the catalog.  ...  The Department of Chemistry Curriculum is certified by the Committee on Professional Training of the American Chemical Society.  ... 
doi:10.21061/jte.v28i2.a.1 fatcat:fwafnbtjazg4hcyfn73eur4rnq

Edgar Degas, Rehearsal of the Ballet, ca. 1876 [chapter]

Rachel Freeman
2021 French Paintings and Pastels, 1600-1945: The Collections of the Nelson-Atkins Museum of Art  
Paintings and Pastels, 1600 -1945 November-December 1943 and October 5-31, 1944 A Loan Exhibition of Toulouse-Lautrec, For the Benefit of the Goddard Neighborhood Center, Wildenstein, New York, October  ...  Mellon Foundation, for an endowment in support of scientific research; the National Endowment for the Arts, for a grant Works in Oil and Pastel by the Impressionists of Paris, American Art Association,  ...  She often brought pictures on consignment from New York and Paris dealers to her Kansas City gallery. She and Parsons worked together to secure the Van Gogh for the museum in Kansas City.  ... 
doi:10.37764/78973.5.614.2088 fatcat:paoryet6ezddtafxultrpgvy4e

Event Vision and Programming [chapter]

Greg Richards, Robert Palmer
2010 Eventful Cities  
The political climate in the 1960s favoured an end to this 'commercialism', but the sale of artworks is now back on the Biennale agenda.  ...  The programmes offered platforms for new ideas and visions of hope.  ... 
doi:10.1016/b978-0-7506-6987-0.10003-4 fatcat:kq32ndeonzbxjik6tgsrsiv6sm

Review of European Studies, Vo. 1, No. 2, December, 2009. All in one PDF file

Editor RES
2009 Review of European Studies  
The author heartily acknowledges the support and contribution given by the EDUCATE partners to the definition of the framework, objectives and work programme of the Action, and the contents of this paper  ...  Acknowledgements I would like to thank Gianpaolo, Yuri, Katia, Paolo, Fabrizio T., Fabrizio P. and most importantly Paolo Zappavigna for their help during the research. I am indebted to Dr.  ...  The search for security and certainty can then promote the diffusion of any extreme ideologies founded on 'action'.  ... 
doi:10.5539/res.v1n2p0 fatcat:ypmozt6zw5ejtorzyjsxflcffi

Static Moments Photographic Notions of Time in the Paintings of Degas, Vuillard, Bonnard and Sickert [article]

Janine Bruce, University Of Canterbury
2013
Three of the artists, Degas, Vuillard and Bonnard, also experimented with photography and I look at how their photographic experiments related to and/or impacted their painting practices.  ...  Specifically, I focus on the artistic outputs of four painters, Degas, Vuillard, Bonnard and Sickert, and the different manners in which they incorporated photography within their creative practices.  ...  In 1885 Lamothe presented Degas to the École des Beaux-Arts where Degas secured a place at the school to study in the painting and sculpture department.  ... 
doi:10.26021/4269 fatcat:wvv7zlya5balvohg2txhrcnam4

Altered Belonging: The Transnational Modern Dance of Ito Michio

Tara Rodman
2017 unpublished
Dilip Gaonkar served on my qualifying committee, and his ideas and suggestions have continued to guide my work.  ...  Chris Bush has shown me my best arguments and revealed the ones I didn't even know I was making; he has enabled me to make connections far beyond my home discipline.  ...  On the one hand, it would be appropriate to interpret this production along the lines of Jennifer Robertson's analysis of the Takarazuka Revue's wartime performances.  ... 
doi:10.21985/n2qh53 fatcat:cacxqamphrbo7eca5vfqypsvo4

Representing "The Marquise of O--": Disruptions and Subjectivity

Lisa Tatiana Parkins
2006 unpublished
School of Days: Heinrich von Kleist and the Traumas of Education (1999), and Seán Allan, The Stories of Heinrich von Kleist: Fictions of Security (2001).  ...  A recent addition to Kleist criticism: Fischer, ed. A Companion to the Works of Heinrich von Kleist (2003) . A stage history: William C. Reeve, Kleist on Stage, 1804.  ...  In "Performance Analysis and Popular Music: A Manifesto" (2004), Philip Auslander drew attention to the dearth of writings in theatre and performance studies on the subject of music-based performance.  ... 
doi:10.21985/n2r10p fatcat:ekmeipc3n5aizo2awflwuqfdnq

WOMEN WHO FLY: AERIALISTS IN MODERNITY (1880-1930)

Bieke Gils
2013 unpublished
I draw on Mikhail Bakhtin's concepts of the carnivalesque and the grotesque, and on Victor Turner's concept of liminality to illustrate how aerial performances between 1880 and 1930 functioned as sites  ...  I show how the performances of Charmion, Coleman and Barbette simultaneously reflected and challenged the iii anxieties and optimism of a society forced to revisit traditional beliefs regarding the gendered  ...  His career as an aerialist ended when he was injured in 1938, though he carried on in his beloved profession as 'aerial choreographer' for various circuses in the United States.  ... 
doi:10.13140/rg.2.2.10744.60167 fatcat:baglqqijazbj3pf4tyvnaeyk4q

Women who fly : aerialists in modernity (1880-1930)

Bieke Gils
2013
I draw on Mikhail Bakhtin's concepts of the carnivalesque and the grotesque, and on Victor Turner's concept of liminality to illustrate how aerial performances between 1880 and 1930 functioned as sites  ...  I show how the performances of Charmion, Coleman and Barbette simultaneously reflected and challenged the anxieties and optimism of a society forced to revisit traditional beliefs r [...]  ...  His career as an aerialist ended when he was injured in 1938, though he carried on in his beloved profession as 'aerial choreographer' for various circuses in the United States.  ... 
doi:10.14288/1.0077421 fatcat:vis6cdvtxvgqhdvvol4dpt7tfq
« Previous Showing results 1 — 15 out of 29 results