Results 1 - 10
of
178
Automatic generation of CSP ‖ B skeletons from xUML models
- 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,”
- 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
"... 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
"... 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
, 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
- 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
Supporting efficient development of cognitive models at multiple skill levels: Exploring recent advances in constraintbased modelling
- 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
"... 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
Results 1 - 10
of
178