2979 search results - page 500 / 596 » Modelling secure multiagent systems |
113
click to vote
OOPSLA
2000
Springer
15 years 6 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
117
click to vote
ENTCS
2007
15 years 3 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
153
click to vote
ISI
2002
Springer
15 years 2 months ago
2002
Springer
Dealing with large volumes of data, OLAP data cubes aggregated values are often spoiled by errors due to missing values in detailed data. This paper suggests to adjust aggregate an...
118
click to vote
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
IP blacklists are a spam filtering tool employed by a large number of email providers. Centrally maintained and well regarded, blacklists can filter 80+% of spam without having to...
130
Voted
ICDCS
2011
IEEE
14 years 2 months ago
2011
IEEE
— In the emerging cloud computing paradigm, data owners become increasingly motivated to outsource their complex data management systems from local sites to the commercial public...