2162 search results - page 58 / 433 » Automated Reasoning on Feature Models |
116
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
114
Voted
DLOG
2008
15 years 5 months ago
2008
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...
132
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
165
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
103
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...