Sciweavers

2688 search results - page 476 / 538
» A formal semantics for P3P
Sort
View
ATAL
2004
Springer
15 years 3 months ago
A Model of Almost Everything: Norms, Structure and Ontologies in Agent Organizations
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
Virginia Dignum, Javier Vázquez-Salceda, Fr...
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 3 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
CAISE
2006
Springer
15 years 3 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
ESWS
2006
Springer
15 years 3 months ago
Modelling Ontology Evaluation and Validation
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
Aldo Gangemi, Carola Catenacci, Massimiliano Ciara...
AC
2003
Springer
15 years 3 months ago
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
Wil M. P. van der Aalst