28 search results - page 1 / 6 » Execution monitoring enforcement under memory-limitation con... |
IANDC
2008
13 years 4 months ago
2008
Recently, attention has been given to formally characterize security policies that are enforceable by different kinds of security mechanisms. A very important research problem is ...
VLDB
2004
ACM
13 years 9 months ago
2004
ACM
We address the problem of computing approximate answers to continuous sliding-window joins over data streams when the available memory may be insufficient to keep the entire join...
DATE
2003
IEEE
13 years 9 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
RV
2010
Springer
13 years 2 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
TDSC
2011
12 years 11 months ago
2011
To ensure fair and secure communication in Mobile Ad hoc Networks (MANETs), the applications running in these networks must be regulated by proper communication policies. However,...