Sciweavers

2409 search results - page 417 / 482
» On Extended Regular Expressions
Sort
View
FUIN
2008
88views more  FUIN 2008»
14 years 10 months ago
Validating Behavioral Component Interfaces in Rewriting Logic
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
CORR
2006
Springer
116views Education» more  CORR 2006»
14 years 10 months ago
Energy Efficiency and Delay Quality-of-Service in Wireless Networks
The energy-delay tradeoffs in wireless networks are studied using a game-theoretic framework. A multi-class multipleaccess network is considered in which users choose their transmi...
Farhad Meshkati, H. Vincent Poor, Stuart C. Schwar...
CORR
2006
Springer
119views Education» more  CORR 2006»
14 years 10 months ago
Calculating modules in contextual logic program refinement
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
Robert Colvin, Ian J. Hayes, Paul A. Strooper
CSDA
2006
97views more  CSDA 2006»
14 years 10 months ago
Fuzzy multidimensional scaling
Multidimensional scaling (MDS) is a data analysis technique for representing measurements of (dis)similarity among pairs of objects as distances between points in a low-dimensiona...
Pierre-Alexandre Hébert, Marie-Hél&e...
ETT
2006
88views Education» more  ETT 2006»
14 years 10 months ago
On the outage behaviour of large DS-CDMA systems with LMMSE detection
Abstract-- The outage behaviour of the single cell DSCDMA uplink is investigated for flat Rayleigh fading channels. Goal of the work is to find an analytical way for the optimisati...
Oliver Prätor, Gerhard Fettweis