Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
BIRTHDAY
2003
Springer
10 years 9 months ago
On the Pagination of Complex Documents
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
Anne Brüggemann-Klein, Rolf Klein, Stefan Woh...
BIRTHDAY
2003
Springer
10 years 9 months ago
Systematic Development of Complex Web-Based User Interfaces
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
Henrik Behrens, Thorsten Ritter, Hans-Werner Six
BIRTHDAY
2003
Springer
10 years 9 months ago
From CTL to Datalog
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
Foto N. Afrati, Theodore Andronikos, Vassia Pavlak...
BIRTHDAY
2003
Springer
10 years 9 months ago
In Memoriam: Paris C. Kanellakis
Serge Abiteboul, Gabriel M. Kuper, Alexander A. Sh...
BIRTHDAY
2003
Springer
10 years 9 months ago
A Logic of Object-Oriented Programs
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
Martín Abadi, K. Rustan M. Leino
books