12774 search results - page 390 / 2555 » A Framework for Proof Systems |
232
click to vote
COMPSAC
2008
IEEE
16 years 2 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
230
click to vote
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
— We consider a cognitive radio system like the future 802.22 networks where license-exempt service providers (SPs) will share a fixed spectrum in a non-interference basis to ea...
189
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
The natural evolution of eGovernment is to go beyond the management of identities and therefore it is necessary to manage people, companies or organizations, and their capabilities...
240
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the important activities in re-engineering process is detecting design flaws. Such design flaws prevent an efficient maintenance, and further development of a system. Th...
205
click to vote
ACNS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...