640 search results - page 1 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
TSE
2002
13 years 4 months ago
2002
ATVA
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
EKAW
2004
Springer
13 years 9 months ago
2004
Springer
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
LPAR
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
IDA
1999
Springer
13 years 8 months ago
1999
Springer
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...