Sciweavers

3827 search results - page 417 / 766
» The Epsilon Generation Language
Sort
View
VLDB
1997
ACM
94views Database» more  VLDB 1997»
15 years 11 months ago
To Weave the Web
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
Paolo Atzeni, Giansalvatore Mecca, Paolo Merialdo
VL
1994
IEEE
169views Visual Languages» more  VL 1994»
15 years 11 months ago
Bending Icons: Syntactic and Semantic Transformations of Icons
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
Alexander Repenning
SIGADA
1993
Springer
15 years 11 months ago
A Project Support Environment Reference Model
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
Alan W. Brown, David J. Carney, Peter H. Feiler, P...
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
ICALP
2007
Springer
15 years 10 months ago
Affine Systems of Equations and Counting Infinitary Logic
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
Albert Atserias, Andrei A. Bulatov, Anuj Dawar