1078 search results - page 107 / 216 » Modelling and Verifying of e-Commerce Systems |
134
click to vote
DATESO
2010
15 years 2 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
227
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
157
Voted
JSS
2006
15 years 4 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
135
click to vote
IEICET
2007
15 years 4 months ago
2007
There have been many theoretical and experimental investigations on polarization diversity reception characteristics at base stations. The diversity gain was evaluated based on th...
153
click to vote
NDSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...