5451 search results - page 126 / 1091 » Typed Operational Semantics |
89
Voted
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
114
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
120
click to vote
BIOID
2008
15 years 5 months ago
2008
This paper analyzes two recently released image quality specifications for single-finger scanners and proposes three new specifications targeted to different types of applications....
232
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
115
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...