Sciweavers

1668 search results - page 137 / 334
» Towards a Design Methodology for Decision Support Systems
Sort
View
AGENTS
2000
Springer
15 years 10 months ago
The Socio-cognitive Dynamics of Trust: Does Trust Create Trust?
We will examine in this paper three crucial aspects of trust dynamics: a) How A’s trusting B and relying on it in situation can actually (objectively) influence B’s trustworth...
Rino Falcone, Cristiano Castelfranchi
CAV
2007
Springer
129views Hardware» more  CAV 2007»
16 years 16 days ago
BAT: The Bit-Level Analysis Tool
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
HICSS
2003
IEEE
90views Biometrics» more  HICSS 2003»
15 years 11 months ago
Information Technology Augmentation of The Skilled Facilitator Approach
Work in the new millennium requires globally distributed organizational members to collaborate in groups and make decisions. In general, research has shown that groups that use fa...
Mark Adkins, Robert Younger, Roger Schwarz
CSMR
2000
IEEE
15 years 10 months ago
Design Properties and Object-Oriented Software Changeability
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...
FAST
2009
15 years 4 months ago
Application of Named Graphs Towards Custom Provenance Views
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...
Tara Gibson, Karen Schuchardt, Eric G. Stephan