723 search results - page 7 / 145 » A Logical Architecture of a Normative System |
99
Voted
DAC
1995
ACM
15 years 3 months ago
1995
ACM
81
Voted
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
82
Voted
CLIMA
2004
15 years 1 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
116
click to vote
TC
2011
14 years 6 months ago
2011
—Mounting concerns over variability, defects and noise motivate a new approach for digital circuitry: stochastic logic, that is to say, logic that operates on probabilistic signa...
93
Voted
AIL
1999
14 years 11 months ago
1999
Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for ...