244 search results - page 2 / 49 » A Model of Components with Non-regular Protocols |
DAC
1999
ACM
14 years 10 months ago
1999
ACM
CBMS
2001
IEEE
14 years 1 months ago
2001
IEEE
We describe a model
ASIASIM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
ENTCS
2007
13 years 9 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
ICESS
2005
Springer
14 years 3 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...