5550 search results - page 799 / 1110 » Different Approaches to Proof Systems |
173
Voted
GD
1998
Springer
15 years 11 months ago
1998
Springer
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...
201
Voted
BTW
1997
Springer
15 years 11 months ago
1997
Springer
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
182
Voted
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
163
click to vote
APSCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Detecting intrusions at host level is vital to protecting shared resources in grid, but traditional Host-based Intrusion Detecting System (HIDS) is not suitable for grid environme...
163
Voted
LREC
2010
15 years 8 months ago
2010
Without any doubt corpora are vital tools for linguistic studies and solution for applied tasks. Although corpora opportunities are very useful, there is a need of another kind of...