5775 search results - page 1151 / 1155 » A Rationale-based Analysis Tool |
JIRS
1998
13 years 9 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
NAR
2002
2002
The Protein Information Resource: an integrated public resource of functional annotation of proteins
13 years 9 months ago
The Protein Information Resource (PIR) serves as an integrated public resource of functional annotation of protein data to support genomic/proteomic research and scientific discov...
SIAMCOMP
1998
13 years 9 months ago
1998
Abstract. String matching is rich with a variety of algorithmic tools. In contrast, multidimensional matching has had a rather sparse set of techniques. This paper presents a new a...
TOSEM
1998
13 years 9 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
TCS
2002
13 years 9 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...