2403 search results - page 389 / 481 » Using the WinWin Spiral Model: A Case Study |
104
click to vote
CIRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
111
click to vote
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
We describe a case study that uses grid computing techniques to support the collaborative learning of high school students investigating cosmic rays. Students gather and upload sc...
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
105
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...