12742 search results - page 148 / 2549 » On canonical number systems |
161
click to vote
SOFSEM
2010
Springer
15 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
153
click to vote
PDCN
2004
15 years 7 months ago
2004
The paper describes an experimental system in which we linked together a number of computers over the Internet to form a multi-processor computer system. The arrangeme nt uses Jav...
180
click to vote
DLOG
2003
15 years 7 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
161
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
151
click to vote
LISA
2008
15 years 8 months ago
2008
Automated system deployment frameworks and configuration management systems have been in wide use for a number of years. However, due to increasing pressures to maintain high avai...