Sciweavers

5107 search results - page 410 / 1022
» Design Issue Of ECTST
Sort
View
PSYCHNOLOGY
2008
112views more  PSYCHNOLOGY 2008»
15 years 4 months ago
Tags and the City
This paper analyzes the findings of a set of field studies that explored the use of near field communication (NFC) tags in a mixed reality environment for providing access to digi...
Minna Isomursu
164
Voted
SAC
2008
ACM
15 years 4 months ago
Autonomic management policy specification in Tune
Distributedsoftwareenvironmentsareincreasinglycomplex anddiculttomanage,astheyintegratevariouslegacysoftware with specic management interfaces. Moreover, the factthatmanagementtas...
Laurent Broto, Daniel Hagimont, Patricia Stolf, No...
141
Voted
TASE
2008
IEEE
15 years 4 months ago
An Extension to Pointer Logic for Verification
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang,...
IEICET
2010
82views more  IEICET 2010»
15 years 3 months ago
Prediction of Self-Heating in Short Intra-Block Wires
This paper predicts self-heating effect in a short intrablock wire will arise as a design issue with technology scaling. The short intra-block wires are close to the substrate an...
Kenichi Shinkai, Masanori Hashimoto, Takao Onoye
IJCSA
2010
110views more  IJCSA 2010»
15 years 3 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider