Sciweavers

5334 search results - page 231 / 1067
» Communicating quantum processes
Sort
View
GIS
2004
ACM
16 years 6 months ago
Query processing in a geographic mediation system
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
François-Marie Colonna, Mehdi Essid, Omar B...
ICSE
2003
IEEE-ACM
16 years 5 months ago
Interaction Modeling as a Binding Thread in the Software Development Process
This paper proposes the use of an interaction modeling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings hum...
Maíra Greco de Paula, Simone Diniz Junqueir...
LICS
2009
IEEE
15 years 11 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
WIMOB
2008
IEEE
15 years 11 months ago
Proportional Fairness for MIMO Multi-user Schedulers with Traffic Arrival Process
—Packet scheduling at the data link layer may impact significantly the overall performance of a wireless system using multiple antennas. In this paper, we propose a novel packet ...
Masoomeh Torabzadeh, Wessam Ajib
VTC
2006
IEEE
15 years 11 months ago
Transmitter-Based Pre-Processing for OFDM-CDMA Forward-Link Systems with Two-Dimensional Spreading
—Transmitter-based signal pre-processing is investigated for the two-dimensional (2-D) OFDM-CDMA (orthogonal frequency division multiplexing, code division multiple access) forwa...
Chih-Cheng Kuo, Wern-Ho Sheen, Chung-Ju Chang, Cha...