15777 search results - page 683 / 3156 » The Reformulation-Optimization Software Engine |
227
click to vote
APAL
2011
15 years 2 months ago
2011
Abstract. We give classical proofs, strengthenings, and generalizations of Lecomte’s characterizations of analytic ω-dimensional hypergraphs with countable Borel chromatic numbe...
156
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
157
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
System and program verification has been a large
