Sciweavers

2024 search results - page 165 / 405
» The Meaning of Ordered SOS
Sort
View
TCS
2008
15 years 6 months ago
Semantic subtyping for the pi-calculus
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
Giuseppe Castagna, Rocco De Nicola, Daniele Varacc...
ADHOC
2004
113views more  ADHOC 2004»
15 years 6 months ago
Distributed protocols for ad hoc wireless LANs: a learning-automata-based approach
An ad hoc learning-automata-based protocol for wireless LANs, capable of operating efficiently under bursty traffic conditions, is introduced. According to the proposed protocol, ...
Petros Nicopolitidis, Georgios I. Papadimitriou, A...
JUCS
2007
88views more  JUCS 2007»
15 years 6 months ago
Internet Payment System: A New Payment System for Internet Transactions
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
Zoran Djuric, Ognjen Maric, Dragan Gasevic
TWC
2008
139views more  TWC 2008»
15 years 6 months ago
Statistical Multimode Transmit Antenna Selection for Limited Feedback MIMO Systems
In a wireless multiple-input multiple-output (MIMO) system, transmit antenna selection is an effective means of achieving good performance with low complexity. We consider spatial ...
Chang Soon Park, Kwang Bok Lee
CN
2004
128views more  CN 2004»
15 years 6 months ago
A smooth handoff scheme using IEEE802.11 triggers - design and implementation
This paper proposes a handoff scheme in a wireless access network where IEEE802.11 is used as link layer protocol and Mobile IP as network layer protocol. The scheme uses triggers...
Peter De Cleyn, Nik Van den Wijngaert, Lloren&cced...