5550 search results - page 543 / 1110 » Different Approaches to Proof Systems |
189
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
188
click to vote
MMB
1997
Springer
15 years 11 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
217
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
204
click to vote
WSC
2008
15 years 9 months ago
2008
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
213
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...