10263 search results - page 209 / 2053 » From Use Cases to System Operation Specifications |
203
click to vote
ENTCS
2008
15 years 7 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
166
click to vote
CODES
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...
179
click to vote
USENIX
2000
15 years 8 months ago
2000
In this paper, we document the evolution of a banner ad delivery system from a simple CGI script written in Perl running on a single host into a distributed computing application ...
173
click to vote
ACMDIS
2004
ACM
16 years 18 days ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
189
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Faster networks and cheaper storage have brought us to a point where I/O caching servers have an important role in the design of scalable, high-performance file systems. These int...