640 search results - page 1 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
106
Voted
TSE
2002
15 years 23 days ago
2002
125
Voted
ATVA
2010
Springer
15 years 1 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...
116
Voted
EKAW
2004
Springer
15 years 6 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...
115
Voted
LPAR
2004
Springer
15 years 6 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...
118
Voted
IDA
1999
Springer
15 years 5 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...