4211 search results - page 364 / 843 » A formal approach to MASQ |
191
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
179
click to vote
MVA
2007
15 years 8 months ago
2007
In this paper we present a stochastic sampling approach to estimate multiple human trajectory in the meeting. The algorithm is formalized as a energy minimization problem based on...
174
click to vote
COMMA
2006
15 years 8 months ago
2006
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
197
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
170
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...