3909 search results - page 535 / 782 » Extreme Model Checking |
224
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
141
click to vote
ALIFE
2008
15 years 6 months ago
2008
There is an ongoing debate as to whether the words in early pre-syntactic forms of human language had simple atomic meanings like modern words [4, 5], or whether they were holophr...
152
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- Internet worms, which spread in computer networks without human mediation, pose a severe threat to computer systems today. The rate of propagation of worms has been meas...
179
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
129
click to vote
JETAI
2006
15 years 6 months ago
2006
In robot building, attention tends to focus on internal signal processing and the way desired motor signals are generated. But equally important is the selection and configuration...