9455 search results - page 446 / 1891 » The Modelling Language Zinc |
194
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
208
click to vote
IFIP
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
189
click to vote
KI
2001
Springer
16 years 2 days ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
275
click to vote
ECOOP
2000
Springer
15 years 12 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
175
click to vote
COLING
2010
15 years 2 months ago
2010
The goal of this work is to produce a classifier that can distinguish subjective sentences from objective sentences for the Urdu language. The amount of labeled data required for ...