Sciweavers

2106 search results - page 174 / 422
» Specifying C concepts
Sort
View
129
Voted
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 4 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg
JUCS
2008
225views more  JUCS 2008»
15 years 4 months ago
Cognitive Ergonomics in Interface Design - Discussion of a Moving Science
: Cognitive Ergonomics is discussed as a systematic base for user interface design. The history of the discipline, explicitly existing now for about 25 years, is discussed, from pa...
Gerrit C. van der Veer
MSS
2008
IEEE
72views Hardware» more  MSS 2008»
15 years 4 months ago
Measurable systems and behavioral sciences
Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual...
V. I. Danilov, Ariane Lambert-Mogiliansky
TCS
2002
15 years 4 months ago
A comparison of two approaches to pseudorandomness
The concept of pseudorandomness plays an important role in cryptography. In this note, we contrast the notions of complexity-theoretic pseudorandom strings (from algorithmic infor...
Yongge Wang
GREC
2009
Springer
15 years 2 months ago
Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
In this paper, we present a novel unifying concept of pairwise spatial relations. We develop two way directional relations with respect to a unique point set, based on topology of ...
K. C. Santosh, Laurent Wendling, Bart Lamiroy