Sciweavers

3605 search results - page 374 / 721
» System and simulation modeling using SysML
Sort
View
ICICS
2004
Springer
16 years 21 days 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»
16 years 2 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
16 years 1 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 7 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
16 years 1 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