4914 search results - page 70 / 983 » Mobility of Data in Distributed Hybrid Computing Systems |
REX
1991
14 years 22 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
FGCS
2007
13 years 9 months ago
2007
The computing-intensive data mining for inherently Internet-wide distributed data, referred to as Distributed Data Mining (DDM), calls for the support of a powerful Grid with an e...
ICDCS
1994
IEEE
14 years 1 months ago
1994
IEEE
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...
ISORC
1998
IEEE
14 years 1 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—In multi-user cellular uplinks cooperating mobiles may share their antennas in order to achieve transmit diversity by formig a virtual antenna array (VAA) in a distributed fashi...