5451 search results - page 740 / 1091 » Typed Operational Semantics |
141
click to vote
ICDE
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we study SQL queries with aggregate subqueries that share common tables and conditions with the outer query. While several approaches can deal with such queries, th...
164
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
A visual query is based on pictorial representation of conceptual entities and operations. One of the most important features used in visual queries is the shape. Despite its intu...
170
click to vote
IEEEARES
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
132
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
122
click to vote
SRDS
2006
IEEE
16 years 19 days ago
2006
IEEE
The paper presents a comparative performance study of the two main classes of randomized binary consensus protocols: a local coin protocol, with an expected high communication com...