4266 search results - page 565 / 854 » A Framework for Defining Logics |
179
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
219
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
156
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
190
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Invariant feature representations for 3D objects are one of the basic needs in 3D object retrieval and classification. One tool to obtain rotation invariance are Spherical Harmonic...
195
Voted
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper elaborates on scenarios for collaborative knowledge creation in the spirit of the trialogical learning paradigm. According to these scenarios the group knowled...