3199 search results - page 185 / 640 » Variability in Automation System Models |
155
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
162
click to vote
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
177
click to vote
DLOG
2003
15 years 7 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
140
click to vote
TSMC
2008
15 years 6 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
138
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Modem computer and communication system design has to consider the timing constraints imposed by communication and system pipelines, and minimize the energy consumption. We adopt ...