Sciweavers

8196 search results - page 334 / 1640
» Computational Modeling and Complexity Science
Sort
View
135
Voted
CAD
2005
Springer
15 years 6 months ago
Deployment of an AEC industry sector product model
CIMsteel Integration Standard, Version 2 (CIS/2) is an industry-developed product model based on ISO-STEP technology that has been widely adopted within the steel construction ind...
Charles M. Eastman, F. Wang, S.-J. You, D. Yang
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
TCS
2010
15 years 1 months ago
A comparison of semantic models for noninterference
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
Ron van der Meyden, Chenyi Zhang
APWEB
2010
Springer
15 years 6 months ago
A Space and Time Efficient Algorithm for SimRank Computation
SimRank has been proposed to rank web documents based on a graph model on hyperlinks. The existing techniques for conducting SimRank computation adopt an iteration computation para...
Weiren Yu, Xuemin Lin, Jiajin Le
ACSE
1997
ACM
15 years 11 months ago
An immersion model for software engineering projects
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...
Neville Churcher, Andy Cockburn