1888 search results - page 243 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
click to vote
MIDDLEWARE
2001
Springer
15 years 9 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
131
click to vote
PLSA
1994
15 years 8 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
166
click to vote
USENIX
1994
15 years 5 months ago
1994
Despite impressive advances in file system throughput resulting from technologies such as high-bandwidth networks and disk arrays, file system latency has not improved and in many...
120
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
Trading surveillance systems screen and detect anomalous trades of equity, bonds, mortgage certificates among others. This is to satisfy federal trading regulations as well as to p...
150
click to vote
JSAC
2006
15 years 4 months ago
2006
Distributed denial-of-service (DDoS) attacks pose a significant threat to the Internet. Most solutions proposed to-date face scalability problems as the size and speed of the netwo...