Sciweavers

5336 search results - page 260 / 1068
» Steerable part models
Sort
View
WSC
2008
15 years 8 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
APN
2008
Springer
15 years 8 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
154
Voted
CSSW
2007
15 years 7 months ago
Weaving Space into the Web of Trust: An Asymmetric Spatial Trust Model for Social Networks
The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new c...
Mohamed Bishr
IQ
2007
15 years 7 months ago
A Portal Data Quality Model For Users And Developers
The measurement of the Data Quality is or should be a critical issue for Web portal users and developers. For the former, the evaluation of data quality is necessary as it ensures ...
Angelica Caro, Coral Calero, Mario Piattini
MASCOTS
2007
15 years 7 months ago
Measurement Based Physical Layer Modeling for Wireless Network Simulations
—Simulation methods have become an integral part of almost all aspects of networking research and particularly in the area of wireless networks. Any new protocol or methodology t...
Dheeraj Reddy, George F. Riley