Sciweavers

9538 search results - page 139 / 1908
» The human conceptual system
Sort
View
ICSE
1994
IEEE-ACM
15 years 10 months ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison
JOT
2007
123views more  JOT 2007»
15 years 6 months ago
The Systems Modeling Language for Products and Systems Development
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
Laurent Balmelli
COSIT
2009
Springer
116views GIS» more  COSIT 2009»
16 years 23 days ago
The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
Alexander Klippel, Rui Li
CHI
2009
ACM
16 years 6 months ago
Material awareness: promoting reflection on everyday materiality
Drawing on existing design approaches, this paper argues for the experiential desirability and critical importance--in terms of environmental sustainability-of designing for refle...
James Pierce
CHI
2002
ACM
16 years 6 months ago
Predictive targeted movement in electronic spaces
The lodestones and leylines interaction technique simplifies navigation in electronic spaces by coordinating physical and conceptual movementgently constraining motion to follow a...
Susanne Jul