Sciweavers

1995 search results - page 169 / 399
» From Data Flow Networks to Process Algebras
Sort
View
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
ICIP
2010
IEEE
15 years 4 months ago
Acquiring shaking-free route panorama by stationary blurring
This work obtains shaking-free route panoramas from a vehicle borne camera. We detect the shaking and waving profile of the camera and rectify a long route panorama automatically ...
Hongyuan Cai, Jiang Yu Zheng, Hiromi T. Tanaka
148
Voted
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
15 years 11 months ago
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
SIGMOD
2004
ACM
127views Database» more  SIGMOD 2004»
16 years 6 months ago
Efficient Query Reformulation in Peer-Data Management Systems
Peer data management systems (PDMS) offer a flexible architecture for decentralized data sharing. In a PDMS, every peer is associated with a schema that represents the peer's...
Igor Tatarinov, Alon Y. Halevy
ISCI
2002
132views more  ISCI 2002»
15 years 6 months ago
Mobile data and transaction management
Mobile computing paradigm has emerged due to advances in wireless or cellular networking technology. This rapidly expanding technology poses many challenging research problems in ...
Sanjay Kumar Madria, Mukesh K. Mohania, Sourav S. ...