4737 search results - page 673 / 948 » The LOGIC negotiation model |
174
click to vote
AMAST
2004
Springer
16 years 24 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
213
click to vote
CONCUR
2004
Springer
16 years 24 days ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
202
click to vote
ECCV
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
292
click to vote
FIDJI
2004
Springer
16 years 23 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
220
click to vote
RSCTC
2004
Springer
16 years 22 days ago
2004
Springer
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...