Sciweavers

2436 search results - page 75 / 488
» Comonadic Notions of Computation
Sort
View
FOSSACS
2004
Springer
15 years 9 months ago
On Recognizable Timed Languages
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
Oded Maler, Amir Pnueli
GCC
2004
Springer
15 years 9 months ago
Towards the Merger of Grid and Economy
This paper presents a discussion on Grids merging with the economy. Until now no clear notion and categorization exist in this area. Problem formulations of “economy grid” proj...
Thomas Weishäupl, Erich Schikuta
PODS
1999
ACM
153views Database» more  PODS 1999»
15 years 8 months ago
Consistent Query Answers in Inconsistent Databases
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
ACSD
2004
IEEE
160views Hardware» more  ACSD 2004»
15 years 7 months ago
Concurrency in Synchronous Systems
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
Dumitru Potop-Butucaru, Benoît Caillaud, Alb...
WSCG
2004
136views more  WSCG 2004»
15 years 5 months ago
Light Vectors for a Moving Observer
Interactive rendering is usually made with very simple illumination models. High quality rendering is too slow to be interactive. In this paper, we extend the notion of light vect...
Rodolphe Crespin, Bernard Péroche