4340 search results - page 227 / 868 » Formal Methods and Cryptography |
136
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
123
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
139
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
145
Voted
ICFCA
2007
Springer
15 years 8 months ago
2007
Springer
Several fuzzifications of formal concept analysis have been proposed to deal with uncertainty or incomplete information. In this paper, we focus on the new paradigm of multi-adjoin...
128
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...