2509 search results - page 281 / 502 » Abstract Geometrical Computation and Computable Analysis |
148
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
162
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...
157
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...
150
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— Correct and efficient estimation of the Hurst parameter of long-range dependent (LRD) video traces is important in traffic analysis. The low computational cost and th...
170
click to vote
ICTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...