1054 search results - page 54 / 211 » Translation Validation of System Abstractions |
156
click to vote
ICRA
2009
IEEE
16 years 20 days ago
2009
IEEE
— In this paper, the path following problem of an omnidirectional mobile robot has been studied. Given the error dynamic model derived from the robot state vector and the path st...
137
click to vote
RE
2007
Springer
16 years 4 days ago
2007
Springer
In industrial requirements documents natural language is the main presentation means. In such documents, system behavior is specified in the form of scenarios, written as a seque...
189
click to vote
ACNS
2004
Springer
15 years 11 months ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
143
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...
148
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...