Small satellite systems enable a whole new class of missions for navigation,
communications, remote sensing, and scientific research for both civilian and military …

We consider the partial equivalence checking problem (PEC), ie, checking whether a given
partial implementation of a combinational circuit can (still) be extended to a complete design …

This paper is concerned with a satellite sensor network, which applies the concept of
terrestrial wireless sensor networks to space. Constellation design and enabling …

Protection of data in cloud computing is a critical problem for many enterprises. We propose
a solution that protects sensitive data outsourced to a cloud throughout their entire life cycle …

Present design processes for satellite networks mainly involve interconnected system
models and their parameter-based simulations without emphasizing high level requirements …

Multi-platform swarm/cluster missions are an attractive prospect for improved science return
as they provide a natural capability for temporal, spatial and signal separation with further …

Owing to the flexible IIA sub-domain of human serum albumin (HSA), we proposed to
rationally design a metal agent with a leaving group, and then regulate a leaving group of …

A tremendous increase in the number of distributed satellite constellations with the
unscheduled burst data traffic will impose addition and diverse requirements on the DRS …

Protection of data in cloud computing including distributed environments is a critical concern
for many enterprises. This study proposes a solution that protects sensitive data outsourced …

Today's mobile devices and countless other embedded devices now aim to use networking
technologies utilizing the latest electronics and software to provide new functions …