10159 search results - page 638 / 2032 » System Design Validation Using Formal Models |
180
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
219
click to vote
ICPADS
2002
IEEE
16 years 5 days ago
2002
IEEE
Video-on-demand (VoD) systems have traditionally been built on the client-server architecture, where a video server stores, retrieves, and transmits video data to video clients fo...
180
click to vote
ICCS
2005
Springer
16 years 22 days ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
170
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
189
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...