5544 search results - page 466 / 1109 » Three Inadequate Models |
197
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
191
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
163
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
In this study, a virtual reality vitrectomy simulator is being developed to assist Ophthalmolgy residents in correcting retinal detachments. To simulate this type of surgery, a thr...
206
click to vote
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
183
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...