5775 search results - page 283 / 1155 » A Rationale-based Analysis Tool |
217
click to vote
AIEDAM
2000
15 years 7 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...
181
click to vote
CVPR
1999
IEEE
16 years 9 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...
170
click to vote
IWPC
2009
IEEE
16 years 2 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 ...
210
click to vote
IPPS
2006
IEEE
16 years 1 months 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...
185
click to vote
SFM
2004
Springer
16 years 23 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...