10707 search results - page 1712 / 2142 » Designing executable abstractions |
195
click to vote
SIGMOD
2010
ACM
16 years 13 days ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
378
click to vote
SIGMOD
2010
ACM
16 years 13 days ago
2010
ACM
Many modern enterprises are collecting data at the most detailed level possible, creating data repositories ranging from terabytes to petabytes in size. The ability to apply sophi...
215
click to vote
APN
2010
Springer
16 years 13 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
199
click to vote
SAC
2009
ACM
16 years 8 days ago
2009
ACM
With the development of computer systems, function inlining schemes were used to reduce execution time while increasing codes. In embedded systems such as wireless sensor nodes, t...
261
click to vote
GPCE
2009
Springer
16 years 7 days ago
2009
Springer
Developing pervasive computing applications is a difļ¬cult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...