Sciweavers

12373 search results - page 310 / 2475
» Semi-Logarithmic Number Systems
Sort
View
APSEC
2005
IEEE
16 years 11 days ago
Supporting Knowledge Collaboration Using Social Networks in a Large-Scale Online Community of Software Development Projects
The scale-free network shown in the small world phenomenon indicates that our human society consists of a small number of people who play the role of hubs linked with many nodes (...
Masao Ohira, Tetsuya Ohoka, Takeshi Kakimoto, Naok...
COCOON
2005
Springer
16 years 8 days ago
Power Domination Problem in Graphs
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...
Chung-Shou Liao, Der-Tsai Lee
IFM
2005
Springer
100views Formal Methods» more  IFM 2005»
16 years 7 days ago
Embedding the Stable Failures Model of CSP in PVS
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
Kun Wei, James Heather
175
Voted
GLOBECOM
2009
IEEE
16 years 1 months ago
Feasibility Conditions for Interference Alignment
—The degrees of freedom (DoF) of K-user MIMO interference networks with constant channel coefficients are not known in general. Determining the feasibility of a linear interfere...
Cenk M. Yetis, Tiangao Gou, Syed Ali Jafar, Ahmet ...
ICDE
2006
IEEE
132views Database» more  ICDE 2006»
16 years 23 days ago
Treatment of Rules in Individual Metadata of Flexible Contents Management
The properties of contents stored in a computer system are very wide while the data volume treated in the system becomes very large. It is important to treat each stored object in...
Kensuke Ohta, Dai Kobayashi, Takashi Kobayashi, Ry...