5570 search results - page 782 / 1114 » Applications of Fair Testing |
199
click to vote
APN
2001
Springer
15 years 11 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
161
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...
198
click to vote
ISER
1999
Springer
15 years 11 months ago
1999
Springer
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...
211
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
We present an efficient algorithm for visibility sorting a set of moving geometric objects into a sequence of image layers which are composited to produce the final image. Inste...
185
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...