• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 178
Next 10 →

Automatic generation of CSP ‖ B skeletons from xUML models

by Edward Turner, Helen Treharne, Steve Schneider, Neil Evans - in Proc. of Theoretical Aspects of Computing (ICTAC
"... Abstract. CSP ‖ B is a formal approach to specification that combines CSP and B. In this paper we present our tool that automatically trans-lates a subset of executable UML (xUML) models into CSP ‖ B, for the purpose of verification and increased validation at the early stages of a software engineer ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Abstract. CSP ‖ B is a formal approach to specification that combines CSP and B. In this paper we present our tool that automatically trans-lates a subset of executable UML (xUML) models into CSP ‖ B, for the purpose of verification and increased validation at the early stages of a software

Automatic program repair with evolutionary computation,”

by Stephanie Forrest , Westley Weimer , Stephanie Forrest , Claire Le Goues , Thanhvu Nguyen - Commun. ACM, , 2010
"... Abstract There are many methods for detecting and mitigating software errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-th ..."
Abstract - Cited by 34 (5 self) - Add to MetaCart
. In practice, the faulty execution path has at least an order of magnitude fewer unique nodes than the AST. Combining these insights, we demonstrate automatically generated repairs for eleven C programs totaling 63,000 lines of code. The main contributions of the work reported in Forrest et al. 8 and Weimer et

Automatic Enumeration of (Related-key) Differential and Linear Characteristics with Predefined Properties and Its Applications

by Ling Song
"... Abstract. In this paper, we investigate the Mixed-integer Linear Programming (MILP) modelling of the differential and linear behavior of a wide rang of block ciphers. The differential and linear behavior of the transformations involved in a block cipher can be described by a set P ⊆ {0, 1}n ⊆ Rn. We ..."
Abstract - Add to MetaCart
0-1 solution of the MILP model generated by the new method corresponds to a valid characteristic, and therefore there is no need to repeatedly add valid cutting-off inequalities into the MILP model as is done in Sun et al.’s method; the new method is more powerful which allows us to get the exact

J2EE Performance and Scalability- From Measuring to Predicting

by unknown authors
"... Abstract — J2EE applications are becoming increasingly ubiquitous and with their increasing adoption, performance and scalability issues are gaining in importance. For a J2EE application to perform well and be scalable, both the platform on which it is built and the application design must be effici ..."
Abstract - Add to MetaCart
on the selected platforms. In this paper, we present a systematic approach for evaluating and predicting the performance and scalability of J2EE applications based on modeling and simulation. The approach helps to identify and eliminate bottlenecks in the application design and ensure that systems are designed

COSMOLOGICAL MODELS OF MODIFIED GRAVITY

by Jolyon Keith Bloomfield, Ph. D , 2013
"... The recent discovery of dark energy has prompted an investigation of ways in which the accelerated expansion of the universe can be realized. In this dissertation, we present two separate projects related to dark energy. The first project analyzes a class of braneworld models in which multiple brane ..."
Abstract - Add to MetaCart
branes float in a five-dimensional anti-de Sitter bulk, while the second investigates a class of dark energy models from an effective field theory perspective. Investigations of models including extra dimensions have led to modifications of gravity involving a number of interesting features

Extraction of Abstraction Invariants for Data Refinement

by Marielle Doche, Andrew Gravell - In
"... Abstract. In this paper, we describe an approach to generating abstraction invariants for data refinement from specifications mixing B and CSP notations. A model-checker can be used to check automatically refinement of the CSP parts. However, we need to translate the CSP into B in order to verify da ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Abstract. In this paper, we describe an approach to generating abstraction invariants for data refinement from specifications mixing B and CSP notations. A model-checker can be used to check automatically refinement of the CSP parts. However, we need to translate the CSP into B in order to verify

representations of

by unknown authors
"... nite-context sources from fractal ..."
Abstract - Add to MetaCart
nite-context sources from fractal

Supporting efficient development of cognitive models at multiple skill levels: Exploring recent advances in constraintbased modelling

by Irene Tollinger, Richard L. Lewis, Michael Mccurdy, Preston Tollinger, Alonso Vera, Andrew Howes, Laura Pelton - In Proceedings of the ACM Conference on Human Factors and Computing Systems, CHI'05 , 2005
"... This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model development environment for the CORE constraint-based cognitive modeling engine [7,13,21]. X-PRT comprises a novel feature set: ( ..."
Abstract - Cited by 19 (3 self) - Add to MetaCart
: (a) it supports the automatic generation of predictive models at multiple skill levels from a single taskspecification, (b) it supports a comprehensive set of modeling activities, and (c) it supports compositional reuse of existing cognitive/perceptual/motor skills by transforming high

Software and Systems Modeling The final publication is available at www.springerlink.com Performance Modeling and Analysis of Message-oriented Event-driven Systems

by Kai Sachs, Samuel Kounev, Ro Buchmann
"... Abstract Message-oriented event-driven systems are becoming increasingly ubiquitous in many industry do-mains including telecommunications, transportation and supply chain management. Applications in these areas typically have stringent requirements for performance and scalability. To guarantee adeq ..."
Abstract - Add to MetaCart
adequate quality-of-service, systems must be subjected to a rigorous performance and scalability analysis before they are put into produc-tion. In this paper, we present a comprehensive modeling methodology for message-oriented event-driven systems in the context of a case study of a representative ap

Digital Repository @ Iowa State University

by David Michael Failing, David Michael Failing, Jonathan D. H. Smith, Sung-yell Song
"... Commutative, idempotent groupoids and the ..."
Abstract - Add to MetaCart
Commutative, idempotent groupoids and the
Next 10 →
Results 1 - 10 of 178
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University