7475 search results - page 1360 / 1495 » Supporting use case based requirements engineering |
138
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
We study solution sets to systems of generalized linear equations of the form ℓi(x1, x2, · · · , xn) ∈ Ai (mod m) where ℓ1, . . . , ℓt are linear forms in n Boolean var...
153
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
151
click to vote
SIGCOMM
1998
ACM
15 years 9 months ago
1998
ACM
In this paper, we present, QoSMIC, a multicast protocol for the Internet that supports QoS-sensitive routing, and minimizes the importance of a priori con guration decisions such...
143
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
The need for high performance and throughput Question Answering (QA) systems demands for their migration to distributed environments. However, even in such cases it is necessary t...
146
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...