1341 search results - page 144 / 269 » Logic for Modeling Product Structure |
141
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
103
click to vote
APAL
2007
15 years 3 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...
143
click to vote
ENTCS
2006
15 years 3 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
122
Voted
SFP
2004
15 years 4 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
119
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...