1965 search results - page 147 / 393 » On the analysis of interacting pushdown systems |
ISW
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
ENTCS
2006
13 years 9 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we study the joint design of uplink and downlink resources in OFDMA-based systems. We first analyze the interactions between uplink and downlink, due essentiall...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
IMC
2009
ACM
14 years 3 months ago
2009
ACM
Understanding how users behave when they connect to social networking sites creates opportunities for better interface design, richer studies of social interactions, and improved ...