2162 search results - page 274 / 433 » Automated Reasoning on Feature Models |
154
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
147
Voted
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
139
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
155
click to vote
IPAW
2010
15 years 2 months ago
2010
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
144
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...