478 search results - page 31 / 96 » Computational thinking |
APCHI
2004
IEEE
14 years 8 days ago
2004
IEEE
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
IRI
2003
IEEE
14 years 1 months ago
2003
IEEE
— The AnyLog pattern models the core knowledge of any Log, as a written record. The Log finds extensive use in the computing industry. The pattern makes it easy to model differen...
IPPS
1998
IEEE
14 years 23 days ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
ICPP
1995
IEEE
14 years 1 days ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
SI3D
1995
ACM
14 years 1 days ago
1995
ACM
This paper presents a new method for navigating virtual environments called “The River Analogy.” This analogy provides a new way of thinking about the user’s relationship to...