762 search results - page 100 / 153 » How to realize |
123
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
134
click to vote
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Secret-key agreement between two parties Alice and Bob, connected by an insecure channel, can be realized in an informationtheoretic sense if the parties share many independent pai...
93
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
133
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
113
click to vote
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...