Sciweavers

4118 search results - page 75 / 824
» Mechanisms for usage control
Sort
View
122
Voted
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 8 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
111
Voted
IEEEIAS
2008
IEEE
15 years 10 months ago
Abusing SIP Authentication
The recent and massive deployment of Voice over IP infrastructures had raised the importance of the VoIP security and more precisely of the underlying signalisation protocol SIP. ...
Humberto J. Abdelnur, Tigran Avanesov, Michaë...
EH
2005
IEEE
158views Hardware» more  EH 2005»
15 years 9 months ago
Hardware Evolution of Analog Circuits for In-situ Robotic Fault-Recovery
We present a method for evolving and implementing artificial neural networks (ANNs) on Field Programmable Analog Arrays (FPAAs). These FPAAs offer the small size and low power usa...
Dmitry Berenson, Nicolás S. Estévez,...
122
Voted
APPT
2007
Springer
15 years 9 months ago
Domain Level Page Sharing in Xen Virtual Machine Systems
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...
Myeongjae Jeon, Euiseong Seo, Junghyun Kim, Joonwo...
124
Voted
COCOON
2008
Springer
15 years 5 months ago
Spectrum Bidding in Wireless Networks and Related
In this paper, we study the spectrum assignment problem for wireless access networks. Opportunistic spectrum usage is a promising technology. However, it could suffer from the self...
Xiang-Yang Li, Ping Xu, ShaoJie Tang, Xiaowen Chu