7167 search results - page 1131 / 1434 » A Technique for Invariant Generation |
222
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
199
Voted
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
Rapid increase in the number of pages on web sites, and widespread use of search engine optimization techniques, lead to web sites becoming difficult to navigate. Traditional site ...
195
click to vote
CGO
2004
IEEE
15 years 11 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
183
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Today's FPGAs (Field Programmable Gate Arrays) are widely used, but not to their full potential. In Virtex series FPGAs from Xilinx a special feature, the dynamic and partial...
191
click to vote
ARGMAS
2006
Springer
15 years 11 months ago
2006
Springer
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...