2540 search results - page 198 / 508 » Abstract Logics as Dialgebras |
168
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
175
click to vote
IJCNN
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— In previous work, we have shown that both unsupervised feature selection and the semi-supervised clustering problem can be usefully formulated as multiobjective optimiz...
181
click to vote
TIME
2005
IEEE
16 years 5 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
169
click to vote
CD
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
181
click to vote
FCT
2005
Springer
16 years 4 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...