1792 search results - page 241 / 359 » Requirements Capture with RCAT |
162
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
183
click to vote
GRID
2005
Springer
16 years 5 days ago
2005
Springer
— Access control in computational grids is typically provided by a combination of identity certificates and local accounts. This approach does not scale as the number of users a...
164
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
209
click to vote
PCM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we propose a touch enabled video player system. A conventional video player only allows viewers to passively experience visual and audio media. In virtual e...
175
click to vote
RAID
2005
Springer
16 years 4 days ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...