5775 search results - page 283 / 1155 » A Rationale-based Analysis Tool |
193
click to vote
AIEDAM
2000
15 years 6 months ago
2000
The ability of a CAD system to perceive a three-dimensional model depicted in a single freehand sketch presents the practical possibility of bringing numerous established analysis...
161
Voted
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
The image of an object can vary dramatically depending on lighting, specularities/reflections and shadows. It is often advantageous to separate these incidental variations from th...
157
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
185
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
174
click to vote
SFM
2004
Springer
16 years 1 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...