1438 search results - page 29 / 288 » Relational aspects as tracematches |
CSFW
2007
IEEE
15 years 6 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...
107
click to vote
SIGMOD
2002
ACM
14 years 11 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
14 years 10 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
14 years 11 months ago
2008
In this article, we review aspects relating to the attractiveness of India for information technology offshore
MLQ
2007
14 years 11 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...