Sciweavers

1580 search results - page 255 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
SJIS
2002
79views more  SJIS 2002»
15 years 6 months ago
Located Accountabilities in Technology Production
This paper explores the relevance of recent feminist reconstructions of objectivity for the development of alternative practices of technology production and use. I take as my sta...
Lucy A. Suchman
IANDC
2010
102views more  IANDC 2010»
15 years 4 months ago
Presenting functors on many-sorted varieties and applications
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
Alexander Kurz, Daniela Petrisan
LPAR
2010
Springer
15 years 4 months ago
Human and Unhuman Commonsense Reasoning
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
Michael J. Maher
ISPW
2010
IEEE
15 years 4 months ago
Critical Success Factors for Rapid, Innovative Solutions
Many of today's problems are in search of new, innovative solutions. However, the development of new and innovative solutions has been elusive to many, resulting in considerab...
Jo Ann Lane, Barry W. Boehm, Mark T. Bolas, Azad M...
SIGSOFT
2008
ACM
16 years 7 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde