303 search results - page 42 / 61 » Context-Sensitive Call Control Using Constraints and Rules |
DISCEX
2003
IEEE
14 years 2 months ago
2003
IEEE
The design principle of restricting local autonomy only where necessary for global robustness has led to a scalable Internet. Unfortunately, this scalability and capacity for dist...
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...