214 search results - page 19 / 43 » Dynamic Optimistic Interprocedural Analysis: A Framework and... |
154
click to vote
DSN
2009
IEEE
16 years 22 days ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
146
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
The research objective of this work is to develop a general framework that incorporates collaborative social tagging with a novel ontology scheme conveying multiple perspectives. ...
170
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
193
click to vote
ICASSP
2008
IEEE
16 years 13 days ago
2008
IEEE
Multimedia social network analysis is an emerging research area, which analyzes the behavior of users who share multimedia content and investigates the impact of human dynamics on...
196
click to vote
ICMCS
2008
IEEE
16 years 12 days ago
2008
IEEE
Several stochastic models provide an effective framework to identify the temporal structure of audiovisual data. Most of them need as input a first video structure, i.e. connecti...