1168 search results - page 190 / 234 » cases 2000 |
ENTCS
2000
14 years 9 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...
FAC
2000
14 years 9 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
FAC
2000
14 years 9 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
82
Voted
FUIN
2000
14 years 9 months ago
2000
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...
48
Voted
GEOINFORMATICA
2000
14 years 9 months ago
2000
The evolution of GIS-T is characterized in three stages: the map view, the navigational view, and the behavioral view. The static nature of the map view favors applications relate...