5757 search results - page 54 / 1152 » Dynamic Policy Programming |
100
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
135
click to vote
MASS
2010
15 years 9 days ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
210
click to vote
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Program monitoring is a well-established and efficient approach to security policy enforcement. An implementation of program monitoring that is particularly appealing for...
117
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
As the number of cores per machine increases, memory architectures are being redesigned to avoid bus contention and sustain higher throughput needs. The emergence of Non-Uniform M...
100
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— We address the problem of scheduling multiple traffic streams associated with target profiles on a shared wireless link, arising in real-time applications with soft/flexible...