Sciweavers

19979 search results - page 3672 / 3996
» Decision support systems
Sort
View
ICMS
2010
15 years 5 months ago
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv&e...
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
15 years 5 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
IJAMC
2010
94views more  IJAMC 2010»
15 years 5 months ago
Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
IJAMC
2010
118views more  IJAMC 2010»
15 years 5 months ago
Bandwidth-aware Peer-to-Peer 3D streaming
—Peer-to-Peer streaming support for 3D content (i.e., P2P 3D streaming) has recently been proposed to provide affordable and real-time virtual environment (VE) content delivery. ...
Chien-Hao Chien, Shun-Yun Hu, Jehn-Ruey Jiang, Chu...
INFOCOM
2010
IEEE
15 years 5 months ago
Cooperative Boundary Detection for Spectrum Sensing Using Dedicated Wireless Sensor Networks
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...
Yanyan Yang, Yunhuai Liu, Qian Zhang, Lionel M. Ni
« Prev « First page 3672 / 3996 Last » Next »