1887 search results - page 320 / 378 » Annotation Framework Validation Using Domain Models |
140
click to vote
ACMDIS
2004
ACM
15 years 7 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
127
Voted
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
107
Voted
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
123
click to vote
ECML
2001
Springer
15 years 7 months ago
2001
Springer
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speci...
111
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...