3994 search results - page 407 / 799 » A Linear Logical Framework |
177
click to vote
SSR
2001
15 years 8 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
155
Voted
IGPL
2010
15 years 5 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
220
Voted
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
185
Voted
HUC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
179
Voted
NMR
2004
Springer
16 years 6 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...