Sciweavers

10406 search results - page 404 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
IJCSA
2006
95views more  IJCSA 2006»
15 years 4 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
JUCS
2006
85views more  JUCS 2006»
15 years 4 months ago
A Pervasive Multimodal Tele-Home Healthcare System
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
Zhenjiang Miao, Baozong Yuan, Mengsun Yu
CPHYSICS
2007
65views more  CPHYSICS 2007»
15 years 4 months ago
Plasma etching and feature evolution of organic low-k material by using VicAddress
Plasma process is a highly selective technique exploiting the individual or mixed function of positive ions, electrons, neutral radicals, and photons produced by low temperature p...
T. Makabe, T. Shimada, T. Yagisawa
OR
2011
Springer
14 years 12 months ago
Modeling an e-government observatory for rural SMEs using UML with RUP
Developing Web-based systems for agriculture and rural development requires the collaboration of experts from different scientific fields and backgrounds. Thus, it is crucial to ...
Sotiris Karetsos, Nikos Manouselis, Constantina Co...
IVS
2006
97views more  IVS 2006»
15 years 4 months ago
Human perception of structure in shaded space-filling visualizations
Very early in the object recognition process the human visual system extracts shading information. While shading can enhance the visibility of structures, it can have a negative i...
Pourang Irani, Dean Slonowsky, Peer Shajahan