Sciweavers

7715 search results - page 605 / 1543
» Visual Rules Modeling
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
DBSEC
2007
87views Database» more  DBSEC 2007»
15 years 8 months ago
Towards a Times-Based Usage Control Model
Abstract. Modern information systems require temporal and privilegeconsuming usage of digital objects. To meet these requirements, we present a new access control model–Times-bas...
Baoxian Zhao, Ravi S. Sandhu, Xinwen Zhang, Xiaoli...
DEXA
2010
Springer
186views Database» more  DEXA 2010»
15 years 7 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
JASSS
1998
82views more  JASSS 1998»
15 years 6 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
ICPR
2010
IEEE
15 years 5 months ago
A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition
Decomposition of cells in clumps is a difficult segmentation task requiring region splitting techniques. Techniques that do not employ prior shape constraints usually fail to achi...
Wei Xiong, Sim Heng Ong, Joo-Hwee Lim