3742 search results - page 513 / 749 » On the Use of Formal Techniques for Validation |
218
click to vote
LCN
2008
IEEE
16 years 29 days ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...
173
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
191
click to vote
JMLR
2006
15 years 6 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
197
click to vote
IDA
2000
Springer
15 years 6 months ago
2000
Springer
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...
210
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...