2232 search results - page 180 / 447 » Formal Modeling and Analysis of Organizations |
167
click to vote
ICDE
2007
IEEE
16 years 27 days ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
189
click to vote
WOSP
2005
ACM
16 years 3 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
147
click to vote
SKG
2006
IEEE
16 years 17 days ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
146
click to vote
JAPLL
2008
15 years 6 months ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
186
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...