1837 search results - page 185 / 368 » Abstraction and the C Machine Model |
164
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Cornea surgeons have observed that changes in cornea curvature can follow cataract surgery and cause astigmatism. The placement of surgical incisions has been shown to in...
178
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
163
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
192
click to vote
ENTCS
2008
15 years 6 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
142
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor t...