5227 search results - page 301 / 1046 » Enterprise modeling using class and instance models |
153
click to vote
CSDA
2010
15 years 6 months ago
2010
A two component parametric mixture is proposed to model survival after an invasive treatment, when patients may experience different hazards regimes: a risk of early mortality dir...
172
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
164
click to vote
ISIM
2007
15 years 8 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
142
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper investigates the factors affecting the Loyal Use of a Knowledge Management System (KMS). Unlike most other types of information systems, the value from using a KMS is t...
141
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...