1823 search results - page 247 / 365 » Formal specification: a roadmap |
KI
2008
Springer
13 years 9 months ago
2008
Springer
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
SIGPLAN
2008
13 years 9 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
AIM
2005
13 years 9 months ago
2005
A General Game Playing System is one that can accept a formal description of a game and play the game effectively without human intervention. Unlike specialized game players, such...
TC
2008
13 years 9 months ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
TIT
2008
13 years 9 months ago
2008
Error correction procedures are considered which are designed specifically for the amplitude damping channel. Amplitude damping errors are analyzed in the stabilizer formalism. Thi...