SPIN
2007
Springer
14 years 6 months ago
2007
Springer
SPIN
2007
Springer
14 years 6 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
SPIN
2007
Springer
14 years 6 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
SPIN
2007
Springer
14 years 6 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
SPIN
2007
Springer
14 years 6 months ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
SOFSEM
2007
Springer
14 years 6 months ago
2007
Springer
The increasing number of Semantic Web applications that work with ontologies implies an increased need for building ontological knowledge bases. In order to improve ontologies duri...
SOFSEM
2007
Springer
14 years 6 months ago
2007
Springer
SOFSEM
2007
Springer
14 years 6 months ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
SOFSEM
2007
Springer
14 years 6 months ago
2007
Springer
SOFSEM
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...