Sciweavers

389 search results - page 58 / 78
» The Notion of Role in Conceptual Modeling
Sort
View
121
Voted
CEEMAS
2005
Springer
15 years 7 months ago
Towards an Institutional Environment Using Norms for Contract Performance
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
Henrique Lopes Cardoso, Eugénio C. Oliveira
ITRUST
2004
Springer
15 years 7 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
DALT
2009
Springer
15 years 5 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
127
Voted
FASE
2008
Springer
15 years 3 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
115
Voted
AAAI
1992
15 years 3 months ago
Concurrent Actions in the Situation Calculus
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
Fangzhen Lin, Yoav Shoham