367 search results - page 20 / 74 » Industrial validation of COVAMOF |
106
click to vote
STTT
1998
15 years 1 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
107
Voted
ETS
2010
IEEE
15 years 13 days ago
2010
IEEE
— A new method is presented to test dynamic parameters of Analogue-to-Digital Converters (ADC). A noisy and nonlinear pulse is applied as the test stimulus, which is suitable for...
125
Voted
ICST
2010
IEEE
15 years 12 days ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
210
click to vote
GLOBECOM
2010
IEEE
14 years 12 months ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...
118
Voted
FIW
2009
14 years 11 months ago
2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...