5550 search results - page 327 / 1110 » Different Approaches to Proof Systems |
187
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In all user-centred agent-based applications, for instance in the context of ambient computing, the user agent is often faced to a difficult trade-off between the protect...
211
click to vote
IAT
2003
IEEE
16 years 23 hour ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
173
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
260
click to vote
RAID
1999
Springer
15 years 11 months ago
1999
Springer
Lately, many approaches have been developed to discover computer abuse. Some of them use data mining techniques to discover anomalous behavior in audit trail, considering this beh...
165
click to vote
IBIS
2006
15 years 6 months ago
2006
In order to deal with the need of sharing learning objects within and across learning object repositories most of the recent work argue for the use of ontologies as a means for pro...