876 search results - page 106 / 176 » Integrating Preferences into Goal Models for Requirements En... |
194
click to vote
CCE
2011
15 years 1 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...
165
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
142
click to vote
MKWI
2008
15 years 7 months ago
2008
Agile workflow technology deals with business processes that require structural changes during run-time. For the difficult task of adapting the workflows, a modelling language that...
171
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...
165
click to vote
TASE
2007
IEEE
16 years 14 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...