1940 search results - page 268 / 388 » Graph Transformation with Variables |
128
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
137
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
146
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
138
click to vote
PACT
2005
Springer
15 years 10 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
140
Voted
ICDM
2003
IEEE
15 years 9 months ago
2003
IEEE
Learning Bayesian network structure from large-scale data sets, without any expertspecified ordering of variables, remains a difficult problem. We propose systematic improvements ...