1829 search results - page 23 / 366 » Towards Validation of Requirements Models |
101
click to vote
JIB
2007
14 years 11 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
85
Voted
WSC
2001
15 years 1 months ago
2001
Although they focus on the big picture, high level supply chain models cannot gloss over the capacity of production nodes to meet production allocations. Capacity is not simply a ...
83
Voted
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
117
click to vote
CCE
2011
14 years 6 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
112
click to vote
SLIP
2005
ACM
15 years 5 months ago
2005
ACM
The interconnection architecture of FPGAs such as switches dominates performance of FPGAs. Three-dimensional integration of FPGAs overcomes interconnect limitations by allowing in...