'series' => 'Lecture Notes in Computer Science 1330',
'series' => 'Lecture Notes in Computer Science 1330',
'title' => 'Five Pitfalls of Empirical Scheduling Research',
'type' => 'InProceedings',
'year' => '1997',
@ -608,7 +608,14 @@ array (
)
array (
'_author' => 'A. Bockmayr, T. Kasper',
'abstract' => 'We introduce branch-and-infer, a unifying framework for integer linear programming and finite domain constraint programming. We use this framework to compare the two approaches with respect to their modeling and solving capabilities, to introduce symbolic constraint abstractions into integer programming, and to discuss possible combinations of the two approaches.',
'abstract' => 'We introduce branch-and-infer, a unifying
framework for integer linear programming and finite domain
constraint programming. We use this framework to compare the
two approaches with respect to their modeling and solving
capabilities, to introduce symbolic constraint abstractions
into integer programming, and to discuss possible combinations
of the two approaches.
',
'author' => 'A. Bockmayr and T. Kasper',
'journal' => 'INFORMS J. Computing',
'key' => 'BockmayrKasper98',
@ -698,7 +705,7 @@ array (
'key' => 'Brock_81',
'pages' => '252-259',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 107',
'series' => 'Lecture Notes in Computer Science 107',
'title' => 'Scenarios: A Model of Non-determinate Computation',
'type' => 'inproceedings',
'year' => '1981',
@ -862,7 +869,7 @@ array (
'month' => '19--22 sep',
'pages' => '328--344',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 976',
'series' => 'Lecture Notes in Computer Science 976',
'title' => 'Situated Simplification',
'type' => 'InProceedings',
'year' => '1995',
@ -1000,7 +1007,7 @@ array (
'month' => 'oct/nov',
'pages' => '17--31',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 1330',
'series' => 'Lecture Notes in Computer Science 1330',
'title' => 'Solving Various Weighted Matching Problems with Constraints',
'type' => 'InProceedings',
'year' => '1997',
@ -1092,7 +1099,7 @@ array (
'month' => 'oct/nov',
'pages' => '341--355',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 1330',
'series' => 'Lecture Notes in Computer Science 1330',
'title' => 'Look-Ahead Versus Look-Back for Satisfiability Problems',
'type' => 'InProceedings',
'year' => '1997',
@ -1281,7 +1288,7 @@ array (
'author' => 'Joachim Niehren and Martin Müller',
'booktitle' => 'International Workshop on Concurrent Constraints Programming',
'key' => 'ConstraintsFree:95',
'month' => 'may29--31',
'month' => 'may29--31',
'title' => 'Constraints for Free in Concurrent Computation',
'type' => 'InProceedings',
'year' => '1995',
@ -1295,7 +1302,7 @@ array (
'key' => 'Cook_90',
'pages' => '151--178',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 489',
'series' => 'Lecture Notes in Computer Science 489',
'title' => 'Object-Oriented Programming versus Abstract Data Types',
'type' => 'inproceedings',
'year' => '1991',
@ -1697,7 +1704,7 @@ array (
'month' => 'oct/nov',
'pages' => '519--533',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 1330',
'series' => 'Lecture Notes in Computer Science 1330',
'editor' => 'Kanchanasut, Kanchana and Lévy, Jean-Jaques',
'key' => 'NiehrenMueller:Free',
'month' => 'dec11--13',
'month' => 'dec11--13',
'note' => 'a preliminary version appeared in \\em First International Workshop on Concurrent Constraint Programming, Venice, Italy, 29--31 May 1995, \\citeConstraintsFree:95',
'pages' => '171--186',
'publisher' => 'Springer-Verlag',
@ -4142,7 +4149,7 @@ array (
'month' => 'oct/nov',
'pages' => '32--46',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 1330',
'series' => 'Lecture Notes in Computer Science 1330',
'title' => 'A Filtering Algorithm for Global Sequencing Constraints',
'type' => 'InProceedings',
'year' => '1997',
@ -4256,7 +4263,7 @@ array (
'month' => 'sep',
'pages' => '89--104',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 845',
'series' => 'Lecture Notes in Computer Science 845',
'title' => 'A Confluent Relational Calculus for Higher-Order Programming with Constraints',
'type' => 'InProceedings',
'year' => '1994',
@ -4762,7 +4769,7 @@ array (
'key' => 'Smolka-Oz-SML-98',
'pages' => '1--11',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 1381',
'series' => 'Lecture Notes in Computer Science 1381',
'title' => 'Concurrent Constraint Programming Based on Functional Programming',
'type' => 'InProceedings',
'year' => '1998',
@ -5212,7 +5219,7 @@ array (
'month' => 'oct',
'pages' => '341--355',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 1068',
'series' => 'Lecture Notes in Computer Science 1068',
'title' => 'Experiences with Strong Moding in Concurrent Logic/Constraint Programming',
'type' => 'InProceedings',
'year' => '1995',
@ -5304,7 +5311,7 @@ array (
'editor' => 'Andreas Podelski',
'key' => 'VanHentenryck:95',
'publisher' => 'Springer-Verlag',
'series' => 'Lecture Notes in Computer Science 910',
'series' => 'Lecture Notes in Computer Science 910',
'title' => 'Design, Implementation and Evaluation of the Constraint Language cc(FD)',
'type' => 'InCollection',
'year' => '1995',
@ -5335,7 +5342,7 @@ array (
'key' => 'Vitek:94',
'pages' => '432--449',
'publisher' => 'Springer-Verlag, Berlin',
'series' => 'Lecture Notes in Computer Science 821',
'series' => 'Lecture Notes in Computer Science 821',
'abstract' => 'Model-Driven Engineering (MDE) is an approach to software development that uses models as primary artifacts, from which code, documentation and tests are derived. One way of assessing quality assurance in a given domain is to define domain metrics. As text documents, models can be considered from a syntactic point of view i.e., thought of as graphs. We can readily apply graph-based metrics to them, such as the number of nodes, the number of edges or the fan-in/fan-out distributions. However, these metrics cannot leverage the semantic structuring enforced by each specific metamodel to give domain specific information. Contrary to graph-based metrics, more specific metrics do exist for given domains (such as LOC for programs), but they lack genericity. Our contribution is to propose one metric that is generic over the domains and the metamodels and allows the easy specification of an open-ended wide range of model metrics.',
'abstract' => 'Model-Driven Engineering (MDE) is an approach to software development
that uses models as primary artifacts, from which code, documentation
and tests are derived. One way of assessing quality assurance in
a given domain is to define domain metrics. As text documents, models
can be considered from a syntactic point of view i.e., thought of
as graphs. We can readily apply graph-based metrics to them, such
as the number of nodes, the number of edges or the fan-in/fan-out
distributions. However, these metrics cannot leverage the semantic
structuring enforced by each specific metamodel to give domain specific
information. Contrary to graph-based metrics, more specific metrics
do exist for given domains (such as LOC for programs), but they lack
genericity. Our contribution is to propose one metric that is generic
over the domains and the metamodels and allows the easy specification
of an open-ended wide range of model metrics.',
'author' => 'Martin Monperrus and Jean-Marc Jézéquel and Joël Champeau and Brigitte Hoeltzener',