5215 search results - page 13 / 1043 » A model of normative power |
EJWCN
2010
13 years 2 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
JDCTA
2010
13 years 2 months ago
2010
Electric power generation requires a great deal of production equipment, such as steam turbines, boilers, etc., how to insure the well-run condition of such equipment is the key f...
DEON
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
AIS
2005
Springer
13 years 8 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
VLSI
2012
Springer
12 years 3 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...