7475 search results - page 1337 / 1495 » Supporting use case based requirements engineering |
150
click to vote
TON
2002
15 years 6 months ago
2002
In this paper we introduce and investigate a new" path optimization problem which we denote as the All Hops Optimal Path AHOP problem. The problem involves identifying, for a...
151
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
Recently, the low price and the small size of the mobile device makes a great success in personal mobile communication. A lot of people use a cell phone, PDA, and laptop computer ...
175
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
181
click to vote
ETRA
2010
ACM
16 years 1 months ago
2010
ACM
In order to help users navigate an image search system, one could provide explicit information on a small set of images as to which of them are relevant or not to their task. Thes...
191
click to vote
TARK
2007
Springer
16 years 17 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...