2958 search results - page 324 / 592 » Extending and Implementing RASP |
106
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
104
click to vote
VLSID
2006
IEEE
16 years 1 months ago
2006
IEEE
- Security protocols, such as IPSec and SSL, are being increasingly deployed in the context of networked embedded systems. The resource-constrained nature of embedded systems and, ...
169
Voted
SIGMOD
2006
ACM
16 years 24 days ago
2006
ACM
Relational XQuery systems try to re-use mature relational data management infrastructures to create fast and scalable XML database technology. This paper describes the main featur...
94
Voted
ICFP
2005
ACM
16 years 18 days ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
101
click to vote
ISPASS
2009
IEEE
15 years 7 months ago
2009
IEEE
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...