244 search results - page 2 / 49 » A Model of Components with Non-regular Protocols |
DAC
1999
ACM
16 years 2 months ago
1999
ACM
121
Voted
CBMS
2001
IEEE
15 years 5 months ago
2001
IEEE
We describe a model
123
click to vote
ASIASIM
2004
Springer
15 years 7 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...
91
Voted
ENTCS
2007
15 years 1 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...
100
click to vote
ICESS
2005
Springer
15 years 7 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...