1865 search results - page 253 / 373 » A Rule-Based, Integrated Modelling Approach for Object-Orien... |
132
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
154
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
123
click to vote
ICCBSS
2003
Springer
15 years 9 months ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
165
click to vote
ESM
2000
15 years 5 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
130
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
As disk drives become increasingly sophisticated and processing power increases, one of the most critical issues of designing modern disk systems is data reliability. Although num...