1555 search results - page 117 / 311 » Using Macromodels to Manage Collections of Related Models |
MSE
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we present ACTIVe3D-Build, an electronic platform for the management of civil engineering projects. This platform is the result of a research that aims to represent...
AAAI
2012
12 years 1 months ago
2012
Many noise models do not faithfully reflect the noise processes introduced during data collection in many real-world applications. In particular, we argue that a type of noise re...
FDL
2007
IEEE
14 years 5 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
BPM
2008
Springer
14 years 23 days ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
ENTCS
2006
13 years 10 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...