2147 search results - page 305 / 430 » Natural Phenomena Simulation |
140
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
176
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
166
click to vote
RT
2004
Springer
15 years 10 months ago
2004
Springer
Forests are crucial for scene realism in applications such as flight simulators. This paper proposes a new representation allowing for the real-time rendering of realistic forest...
156
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
P2P networks have become increasingly popular in the recent years. However, their open, distributed and anonymous nature makes them very vulnerable against malicious users who prov...
125
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a new method to automatically generate posynomial symbolic expressions for the performance characteristics of analog integrated circuits. The coefficient set ...