1805 search results - page 200 / 361 » A Theory of Closure Operators |
166
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
171
click to vote
FROCOS
2007
Springer
16 years 21 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
158
click to vote
FSEN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
166
click to vote
GPCE
2007
Springer
16 years 21 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
178
click to vote
HICSS
2006
IEEE
16 years 18 days ago
2006
IEEE
The content of information security curricula spans a wide array of topics. Because of this variety, a program needs to focus on some particular aspect and provide appropriate dep...