1829 search results - page 203 / 366 » Towards Validation of Requirements Models |
151
click to vote
CPHYSICS
2004
15 years 6 months ago
2004
There has been dramatic progress in the scope and power of plasma simulations in recent years; and because codes are generally cheaper to write, to run and to diagnose than experi...
168
click to vote
DRM
2008
Springer
15 years 8 months ago
2008
Springer
The recent attack on Apple iTunes Digital Rights Management [17] has brought to light the usefulness of proxy re-encryption schemes for Digital Rights Management. It is known that...
152
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
194
click to vote
ASWEC
2007
IEEE
16 years 28 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
257
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...