1527 search results - page 67 / 306 » From Requirements to Design: Formalizing the Key Steps |
173
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
207
click to vote
PAMI
2012
13 years 8 months ago
2012
—Web-scale image search engines (e.g. Google Image Search, Bing Image Search) mostly rely on surrounding text features. It is difficult for them to interpret users’ search int...
174
click to vote
IEEEICCI
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Role assignment is an important task in RoleBased Collaboration (RBC). Agent evaluation is the first step of role assignment. The other two steps are group role assignmen...
137
click to vote
RV
2007
Springer
16 years 4 days ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
176
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Some of the currently best-known approximation algorithms for network design are based on random sampling. One of the key steps of such algorithms is connecting a set of source nod...