Sciweavers

3605 search results - page 374 / 721
» System and simulation modeling using SysML
Sort
View
ICICS
2004
Springer
15 years 10 months ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
HICSS
2009
IEEE
87views Biometrics» more  HICSS 2009»
15 years 11 months ago
Efficiency, Economic and Environmental Assessment of Ground Source Heat Pumps in Central Pennsylvania
— The energy use of a ground-source heat pump (GSP) for heating, cooling and hot water in a Central Pennsylvania residence (namely, the author’s house) is analyzed, compared to...
Seth Blumsack, Jeffrey Brownson, Lucas Witmer
ICNP
2007
IEEE
15 years 11 months ago
Slotted Scheduled Tag Access in Multi-Reader RFID Systems
Abstract—Radio frequency identification (RFID) is a technology where a reader device can “sense” the presence of a closeby object by reading a tag device attached to the obj...
Zongheng Zhou, Himanshu Gupta, Samir R. Das, Xianj...
COMCOM
2007
83views more  COMCOM 2007»
15 years 4 months ago
Cost analysis and optimization for IP multicast group management
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
Yongjun Li, James Zijun Wang
LCN
2007
IEEE
15 years 11 months ago
Modeling and Performance Analysis of Telephony Gateway REgistration Protocol
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...
Kushal Kumaran, Anirudha Sahoo