5451 search results - page 843 / 1091 » Typed Operational Semantics |
154
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...
161
click to vote
DASFAA
2010
IEEE
16 years 20 days ago
2010
IEEE
Scalable execution of continuous queries over massive data streams often requires splitting input streams into parallel sub-streams over which query operators are executed in paral...
180
click to vote
IDTRUST
2010
ACM
16 years 19 days ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
168
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
151
click to vote
AOSD
2009
ACM
16 years 17 days ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...