13489 search results - page 519 / 2698 » Operating System |
167
click to vote
CIS
2007
Springer
16 years 1 months ago
2007
Springer
Existing intrusion detection systems (IDS) operate independently from security policy enforcement mechanism. In current IDS the functionality has been restricted to detecting only...
162
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
165
click to vote
IPPS
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
187
click to vote
MATES
2004
Springer
16 years 9 days ago
2004
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, current norm formalisms focus on the declarative nature of ...
154
click to vote
SCM
2003
15 years 8 months ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...