3799 search results - page 216 / 760 » An Engineering Approach to Formal Methods |
158
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
133
click to vote
XPU
2005
Springer
15 years 10 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
126
click to vote
TNN
2008
15 years 4 months ago
2008
Abstract-- A major drawback of artificial neural networks (ANNs) is their black-box character. This is especially true for recurrent neural networks (RNNs) because of their intrica...
116
click to vote
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
149
click to vote
APCCM
2009
15 years 5 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...