Sciweavers

10575 search results - page 1996 / 2115
» T2Script Programming Language
Sort
View
102
Voted
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 2 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau
143
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 2 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
110
Voted
COMPUTER
2006
98views more  COMPUTER 2006»
15 years 2 months ago
Componentization: The Visitor Example
: In software design, laziness is a virtue: it's better to reuse than to redo. Design patterns are a good illustration. Patterns, a major advance in software architecture, pro...
Bertrand Meyer, Karine Arnout
142
Voted
CONSTRAINTS
2006
115views more  CONSTRAINTS 2006»
15 years 2 months ago
A Cost-Regular Based Hybrid Column Generation Approach
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...
113
Voted
ENTCS
2006
109views more  ENTCS 2006»
15 years 2 months ago
Roles as a Coordination Construct: Introducing powerJava
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
Matteo Baldoni, Guido Boella, Leendert W. N. van d...
« Prev « First page 1996 / 2115 Last » Next »