7475 search results - page 1408 / 1495 » Supporting use case based requirements engineering |
134
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
240
click to vote
VLDB
2009
ACM
16 years 4 months ago
2009
ACM
We address the problem of providing privacypreserving search over distributed accesscontrolled content. Indexed documents can be easily reconstructed from conventional (inverted) ...
126
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
141
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
In the area of image retrieval, post-retrieval processing is often used to refine the retrieval results to better satisfy users’ requirements. Previous methods mainly focus on p...
134
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
Although most wireless terrestrial networks are based on twodimensional (2D) design, in reality, such networks operate in threedimensions (3D). Since most often the size (i.e., th...