Sciweavers

628 search results - page 79 / 126
» Specifying Multiagent Organizations
Sort
View
168
Voted
PERCOM
2006
ACM
16 years 6 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»
16 years 11 days 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
16 years 4 days 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
189
Voted
FASE
2004
Springer
16 years 4 days 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»
16 years 1 days 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