Sciweavers

628 search results - page 79 / 126
» Specifying Multiagent Organizations
Sort
View
PERCOM
2006
ACM
16 years 1 months ago
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
Chetan Shiva Shankar, Roy H. Campbell
HICSS
2005
IEEE
140views Biometrics» more  HICSS 2005»
15 years 7 months ago
A Role-Based Framework for Business Process Modeling
Business objects are object-oriented representations of the concepts of interest in an organization, such as activities, resources and actors. Business objects collaborate with on...
Artur Caetano, Marielba Zacarias, António R...
ECOOP
2004
Springer
15 years 7 months ago
Object Invariants in Dynamic Contexts
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
K. Rustan M. Leino, Peter Müller
FASE
2004
Springer
15 years 7 months ago
Modeling Role-Based Access Control Using Parameterized UML Models
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...
HICSS
2003
IEEE
113views Biometrics» more  HICSS 2003»
15 years 7 months ago
Multi-Criteria Task Assignment in Workflow Management Systems
During workflow design, workflow modelers generally specify the performers of a task by their organizational role. However, during workflow enactment, numerous workers with differ...
Minxin Shen, Gwo-Hshiung Tzeng, Duen-Ren Liu