407 search results - page 42 / 82 » An Automated Verification Method for Distributed Systems Sof... |
138
Voted
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
114
Voted
ECIS
2004
15 years 4 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
122
click to vote
TACS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
146
Voted
WSC
1997
15 years 4 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
129
Voted
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...