Sciweavers

3305 search results - page 138 / 661
» Models and Modeling Infrastructures for Global Computational...
Sort
View
WSC
2008
13 years 11 months ago
Tunnel_Sim: Decision support tool for planning tunnel construction using computer simulation
Tunnel construction are essentially infrastructure projects that includes many interfered and sophisticated tasks. This paper presents a decision support tool, Tunnel_Sim, for pla...
Mohamed Marzouk, Moatassem Abdallah, Moheeb Elsaid
CAISE
2004
Springer
14 years 2 months ago
UML for Ontology Modelling and Interoperability
The Semantic Web vision aims to integrate and convert the vast amount of information available on the Internet into a machine-understandable network. The objective is to promote kn...
Vandana Kabilan, Paul Johannesson
TC
2008
13 years 9 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
NGITS
1999
Springer
14 years 1 months ago
Multiplex: A Formal Model for Multidatabases and Its Implementation
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
Amihai Motro
BMVC
1998
13 years 10 months ago
Segmentation of Global Motion using Temporal Probabilistic Classification
The segmentation of pixels belonging to different moving elements within a cinematographic image sequence underpins a range of post-production special effects. In this work, the s...
P. R. Giaccone, Graeme A. Jones