2623 search results - page 105 / 525 » Conceptual Application Domain Modelling |
129
click to vote
ICWE
2003
Springer
15 years 9 months ago
2003
Springer
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
131
click to vote
DEXAW
2009
IEEE
15 years 2 months ago
2009
IEEE
XML data evolution has recently gained much interest in both research and practice. However, most of the existing works deal with separate aspects of the problem such as evolution...
159
click to vote
ICANNGA
2009
Springer
15 years 11 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
126
click to vote
ICANNGA
2007
Springer
15 years 10 months ago
2007
Springer
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...