1829 search results - page 218 / 366 » Towards Validation of Requirements Models |
147
click to vote
SIVP
2010
15 years 5 months ago
2010
Resource aware operation of sensor networks requires adaptive re-organization to dynamically adapt to the operational environment. A complex dynamical system of interacting compone...
144
click to vote
HCI
2009
15 years 4 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
242
click to vote
Publication
Navigation during Minimally Invasive Surgery
(MIS) has recognized difficulties due to limited field-of-view,
off-axis visualization and loss of direct 3D vision. This can cause
...
172
click to vote
MSWIM
2004
ACM
16 years 1 days ago
2004
ACM
Recent trends in sensor network simulation can be divided between less flexible but accurate emulation based approach and more generic but less detailed network simulator models....
157
click to vote
APAL
2010
15 years 6 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...