2655 search results - page 177 / 531 » Event Systems and Access Control |
170
Voted
HYBRID
1995
Springer
15 years 9 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
173
Voted
PLDI
2009
ACM
16 years 28 days ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
158
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
161
Voted
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
179
Voted
ASSETS
2008
ACM
15 years 8 months ago
2008
ACM
Accessibility auditors have to choose a method when evaluating accessibility: expert review (a.k.a. conformance testing), user testing, subjective evaluations, barrier walkthrough...