4211 search results - page 709 / 843 » A formal approach to MASQ |
153
click to vote
SP
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
173
click to vote
WACV
2005
IEEE
16 years 23 hour ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
187
click to vote
WECWIS
2005
IEEE
16 years 23 hour ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
154
click to vote
ACMACE
2005
ACM
16 years 18 hour ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
194
click to vote
KCAP
2005
ACM
16 years 15 hour ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...