3199 search results - page 150 / 640 » Variability in Automation System Models |
131
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
173
Voted
DLOG
2011
14 years 6 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
146
click to vote
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
ECSQARU
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
125
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...