Sciweavers

9626 search results - page 306 / 1926
» Invariant Based Programming
Sort
View
173
Voted
ECOOP
2001
Springer
15 years 11 months ago
Precise Constraint-Based Type Inference for Java
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
Tiejun Wang, Scott F. Smith
IWAN
2000
Springer
15 years 10 months ago
Two Rule-Based Building-Block Architectures for Policy-Based Network Control
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
Yasusi Kanada
GECCO
2008
Springer
115views Optimization» more  GECCO 2008»
15 years 7 months ago
A genetic programming approach to business process mining
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
Chris J. Turner, Ashutosh Tiwari, Jörn Mehnen
SPLC
2010
15 years 8 months ago
A Hybrid Approach to Feature-Oriented Programming in XVCL
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...
Hongyu Zhang, Stan Jarzabek
TOOLS
2009
IEEE
16 years 1 months ago
Fast Simulation Techniques for Design Space Exploration
— In this paper, we present our current work on a UML based environment providing efficient means for system
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet