5015 search results - page 473 / 1003 » Model Checking a Path |
152
click to vote
CII
2010
15 years 7 months ago
2010
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
192
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a fully probabilistic stick-figure model that uses a nonparametric Bayesian distribution over trees for its structure prior. Sticks are represented by nodes in a tree i...
192
click to vote
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
180
Voted
WEBI
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...
175
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...