10568 search results - page 248 / 2114 » Computer Intelligence and Formalization |
128
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we introduce a concrete, practical Ubiquitous Organizational Information (UOI) service framework, providing novice users intelligent and useful services with respect...
118
click to vote
KES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. With the help of real source identity in packets, network security system can intelligently protect and counteract the attacks. Packet marking is an important method of s...
118
click to vote
IDEAL
2004
Springer
15 years 8 months ago
2004
Springer
It is indispensable that the users surfing on the Internet could have web pages classified into a given topic as correct as possible. Toward this ends, this paper presents a topic-...
128
click to vote
ICCD
1997
IEEE
15 years 7 months ago
1997
IEEE
The goal of Intelligent RAM (IRAM) is to design a cost-effective computer by designing a processor in a memory fabrication process, instead of in a conventional logic fabrication ...
116
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...