1107 search results - page 107 / 222 » Variability Management on Behavioral Models |
102
click to vote
WCE
2007
15 years 2 months ago
2007
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
124
click to vote
IDEAL
2004
Springer
15 years 6 months ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...
111
click to vote
IJFCS
2006
15 years 1 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
132
click to vote
ENASE
2009
14 years 11 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
155
click to vote
AINA
2011
IEEE
14 years 5 months ago
2011
IEEE
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...