4520 search results - page 902 / 904 » Algebraic Techniques for Timed Systems |
ICDCS
2010
IEEE
13 years 7 months ago
2010
IEEE
As Cloud Computing becomes prevalent, sensitive information are being increasingly centralized into the cloud. For the protection of data privacy, sensitive data has to be encrypte...
IANDC
2011
13 years 4 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
NETWORK
2010
13 years 4 months ago
2010
While the size of popular Online Social Networks (OSNs) such as MySpace or Twitter has been reported to be in the tens or hundreds of millions of users (and growing), little is kn...
PVLDB
2010
13 years 4 months ago
2010
The ever-increasing number of intrusions in public and commercial networks has created the need for high-speed archival solutions that continuously store streaming network data to...
CGO
2011
IEEE
13 years 1 months ago
2011
IEEE
— The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application...