623 search results - page 89 / 125 » Relational Parametricity for Control Considered as a Computa... |
CW
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...
105
click to vote
WSCG
2004
15 years 1 months ago
2004
With the growing popularity of pen-based computers comes the need to display clear handwritten characters at small sizes on low-resolution displays. This paper describes a method ...
RTSS
2000
IEEE
15 years 4 months ago
2000
IEEE
In portable applications, the energy consumed by OS and application tasks primarily comes from DC battery source, which is limited and imposes an upper bound to the amount of time...
108
click to vote
ISPW
1996
IEEE
15 years 4 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
108
click to vote
JSS
2008
14 years 10 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...