1419 search results - page 135 / 284 » Notes on Formalizing Context |
ENTCS
2008
15 years 29 days ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
IJIQ
2008
15 years 27 days ago
2008
: Digital services can be thought as internet based applications that fulfil users' needs and their quality represents a basic element during the delivery process. In such a c...
IPL
2008
15 years 27 days ago
2008
We study the complexity of the membership or parsing problem for pictures generated by a family of picture grammars: Siromoney's Context-Free Kolam Array grammars (coincident...
IPL
2007
15 years 24 days ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
JSYML
2007
15 years 24 days ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...