194 search results - page 16 / 39 » Conflict Resolution |
ASE
2000
14 years 9 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
CAS
2005
14 years 9 months ago
2005
Robustness versus resilience of systems is first defined. The definition is applied to the material and cultural adaptive system of the Netsilik Inuit. Three structural conflicts ...
HT
2004
ACM
15 years 3 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
FUIN
2008
14 years 9 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...