6960 search results - page 484 / 1392 » Continuity Analysis of Programs |
153
click to vote
INFOCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...
160
click to vote
ISIPTA
2005
IEEE
15 years 12 months ago
2005
IEEE
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
167
Voted
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
143
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
195
click to vote
IEEEAMS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...