1438 search results - page 29 / 288 » Relational aspects as tracematches |
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
SIGMOD
2002
ACM
13 years 9 months ago
2002
ACM
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-styl...
PTS
2010
13 years 8 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
JITECH
2008
13 years 9 months ago
2008
In this article, we review aspects relating to the attractiveness of India for information technology offshore
MLQ
2007
13 years 9 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...