5451 search results - page 637 / 1091 » Typed Operational Semantics |
205
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
211
click to vote
EGH
2010
Springer
15 years 4 months ago
2010
Springer
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...
176
click to vote
IACR
2011
14 years 6 months ago
2011
— Both broadcast encryption (BE) protocols and multicast key distribution (MKD) protocols try to solve the same problem of private group communication. For the first time, we dis...
224
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...
211
click to vote
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
3], in that it integrates a service-oriented abstraction with the operating system socket interface and provides adaptive service access at the end-host session layer. However, our...