3742 search results - page 701 / 749 » On the Use of Formal Techniques for Validation |
203
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
145
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
168
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
In this topical1 paper we try to give an analysis and overview of the current state of Semantic Web research. We point to different interpretations of the Semantic Web as the reaso...
179
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
183
click to vote
PEWASUN
2007
ACM
15 years 7 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...