1643 search results - page 158 / 329 » Consistability: Describing Usually Consistent Systems |
ISER
1999
Springer
15 years 2 months ago
1999
Springer
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
HICSS
1994
IEEE
15 years 2 months ago
1994
IEEE
A method is described for identification and classification of proteins encoded in large DNA sequences. Previously, an automated system was introduced for the general detection of...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
DL
1995
Springer
15 years 1 months ago
1995
Springer
We have constructed a proof-of-principle system for supporting collaborative forensic medicine. The early prototype is built on ABC/DGS, a graph-server and collaborative hypermedi...
ICFEM
1997
Springer
15 years 1 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...