![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
4,756 Result(s)
-
Article
A model for optimizing indexed file structures
Multilevel indexes have long been used for accessing records in sorted files. Given the access cost at each level, the total cost of retrieving a record from the file can be substantially reduced by selecting ...
-
Article
The verification and synthesis of data structures
The concept of machine extension is a commonly used technique for implementing complex software: sets of object classes and operations on these objects are defined and used, often in a layered fashion, to cons...
-
Article
Toward a theory of encoded data structures and data translation
Several models of data base systems have distinguished levels of abstraction ranging from the high-level entity set model down to the low-level physical device level. This paper presents a model for describing...
-
Article
Exploratory experiments in programmer behavior
The techniques of cognitive psychological experimentation can help resolve specific issues in programming and explore the broader issues of programmer behavior. This paper describes the methodological question...
-
Article
Ianov pushdown schemes are contained in boolean recursive schemes
The class of Ianov schemes augmented by a pushdown memory is effectively translatable into the class of right linear boolean monadic recursive schemes. This proves a conjecture of Tokura, Kasami and Furuta [3].
-
Article
Syntactic/semantic interactions in programmer behavior: A model and experimental results
This paper presents a cognitive framework for describing behaviors involved in program composition, comprehension, debugging, modification, and the acquisition of new programming concepts, skills, and knowledg...
-
Article
“U. S. Science in international perspective”
This is an investigation of the relationship between the institutional structure of American science and its position in world science, as shown byScience Indicators — 1976. It concludes that, compared to other c...
-
Chapter and Conference Paper
Finite models for deterministic propositional dynamic logic
-
Chapter and Conference Paper
On-the-fly garbage collection: New algorithms inspired by program proofs
New algorithms for on-the-fly garbage collection have been presented. The basic algorithm has a correctness proof that is much simpler than that of the DLMSS algorithm. In (2), the color gray is introduced so ...
-
Chapter and Conference Paper
Human factors of interactive software
There is intense interest about human factors issues in interactive computer systems for life-critical applications, industrial/commercial uses, and personal computing in the office or home. Primary design goa...
-
Chapter and Conference Paper
A hardware semantics based on temporal intervals
We present an interval-based temporal logic that permits the rigorous specification of a variety of hardware components and facilitates proving properties such as correctness of implementation. Conceptual leve...
-
Article
The temporal logic of branching time
A temporal logic is defined which contains both linear and branching operators. The underlying model is the tree of all possible computations. The following metatheoretical results are proven: 1) an exponentia...
-
Chapter and Conference Paper
Reasoning in interval temporal logic
Predicate logic is a powerful and general descriptive formalism with a long history of development. However, since the logic's underlying semantics have no notion of time, statements such as “I increases by 2” ca...
-
Chapter and Conference Paper
A temporal analysis of some concurrent systems
In previous work, we presented interval temporal logic (ITL), a formal logic for reasoning about time. It was shown that ITL provides a way to view programming constructs for assignment, repetition and paralle...
-
Chapter and Conference Paper
A fair protocol for signing contracts
Assume that two parties, A and B, want to sign a contract over a communication network, i.e. they want to exchange their “commitments“ to the contract. We consider a contract signing protocol to be fair if, at an...
-
Chapter and Conference Paper
Executing temporal logic programs
Over the last few years, temporal logic has been investigated as a tool for reasoning about computer programs, digital circuits and message-passing systems. In the case of programs, the general feeling has bee...
-
Chapter
The Way You Look Determines What You See Or Self-Organization in Management and Society
The concept of self-organization is reviewed and its implications are explored in relation to management processes and social systems. A world view is taken, emphasizing a descriptive distinction of levels ass...
-
Chapter and Conference Paper
Parallel programming in Temporal Logic
-
Chapter and Conference Paper
IAI Corporate Software Engineering Training & Education Program
ISRAEL AIRCRAFT INDUSTRIES has developed a comprehensive educational program in software engineering. Goals of the program include: the retraining of college graduates to become software engineers with special...
-
Chapter and Conference Paper
A Dynamic Approach to Oligopolistic Market Equilibrium
We provide an algorithm for computing Cournot-Nash equilibria in multi-commodity markets involving finitely many producers. The algorithm amounts to follow a certain dynamical system all the way to its steady ...