4731 search results - page 407 / 947 » Securing Interactive Programs |
183
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
201
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
170
Voted
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
203
Voted
PEPM
2007
ACM
16 years 29 days ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
170
Voted
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...