3706 search results - page 405 / 742 » The Transformational Approach to Program Development |
161
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
145
Voted
DPD
2002
15 years 4 months ago
2002
Web caching has been proposed as an effective solution to the problems of network traffic and congestion, Web objects access and Web load balancing. This paper presents a model for...
126
Voted
ICANN
1997
Springer
15 years 8 months ago
1997
Springer
Subsystems for on-line recognition of handwriting are needed in personal digital assistants (PDAs) and other portable handheld devices. We have developed a recognition system whic...
133
click to vote
AVI
2008
15 years 6 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
166
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...