2403 search results - page 250 / 481 » Using the WinWin Spiral Model: A Case Study |
151
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
147
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Inter-organizational controls are mechanisms used to ensure and monitor that networked enterprises do not commit a fraud and behave as agreed. Many of such controls have, apart fro...
188
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...
154
click to vote
WSC
2000
15 years 8 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
169
click to vote
TVCG
2011
15 years 1 months ago
2011
—Metro maps are schematic diagrams of public transport networks that serve as visual aids for route planning and navigation tasks. It is a challenging problem in network visualiz...