6253 search results - page 203 / 1251 » Use Case Modeling Guidelines |
113
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
140
click to vote
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
119
click to vote
IJDE
2007
15 years 3 months ago
2007
The Daubert process used in the admissibility of evidence contains major guidelines applied in assessing forensic procedures, two of which are testing and error rates. The Digital...
115
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—Ultra-wideband (UWB) technique attracts attention from automotive manufacturers as a potential way to construct intra-vehicle wireless sensor network. This paper reports our pre...
113
click to vote
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
15 years 4 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...