13489 search results - page 362 / 2698 » Self-migration of operating systems |
188
click to vote
JFPLC
1998
15 years 8 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
204
click to vote
IJRFITA
2007
15 years 6 months ago
2007
: This paper describes the environmental effects and performance analysis of 2.45 GHz Surface Acoustic Wave (SAW) based RFID systems. Piezoelectric materials and their underlying p...
149
click to vote
TSMC
2008
15 years 6 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
208
click to vote
DKE
2002
15 years 6 months ago
2002
The design of very small databases for smart cards and for portable embedded systems is deeply constrained by the peculiar features of the physical medium. Privacy concerns are re...
197
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...