738 search results - page 10 / 148 » Formal Methods: for All or for Chosen |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
EKAW
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
SSD
1993
Springer
13 years 11 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
MTA
2006
13 years 7 months ago
2006
- Steganography is a process that involves hiding a message in an appropriate carrier for example an image or an audio file. The carrier can then be sent to a receiver without anyo...