Sciweavers

2529 search results - page 371 / 506
» The Logical Structure of Binding
Sort
View
ECLIPSE
2004
ACM
15 years 12 months ago
Design mentoring based on design evolution analysis
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
Zhenchang Xing, Eleni Stroulia
NSPW
2004
ACM
15 years 12 months ago
A qualitative framework for Shannon information theories
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
Gerard Allwein
AIMSA
2004
Springer
15 years 12 months ago
Coordinating Semantic Peers
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini
APN
2004
Springer
15 years 12 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
DEON
2004
Springer
15 years 12 months ago
Delegation in a Role-Based Organization
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
Olga Pacheco, Filipe Santos