5606 search results - page 996 / 1122 » Randomization Techniques for Graphs. |
197
click to vote
CSCLP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
190
click to vote
MATES
2004
Springer
15 years 11 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
209
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
209
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
151
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...