2713 search results - page 205 / 543 » Parameterized Tree Systems |
170
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
138
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
151
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
153
click to vote
VLSID
2006
IEEE
15 years 10 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
135
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...