5668 search results - page 859 / 1134 » Overlaps in Requirements Engineering |
150
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Exponentially growing bandwidth requirements and slowing gains in processor speeds have led to the popularity of multiprocessor architectures. Network stack parallelism is increas...
189
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
177
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper deals with the topology formation schemes in the IEEE 802.11 based wireless mesh network. The recent standardization effort for specifying a wireless distribution sys...
175
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
182
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...