314 search results - page 11 / 63 » A Framework for Interpreting Traces of Functional Logic Comp... |
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
CLEIEJ
2008
13 years 8 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
ICAC
2009
IEEE
14 years 13 days ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
ENTCS
2006
13 years 8 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...