5409 search results - page 883 / 1082 » Basic Observables for Processes |
169
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
114
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
119
Voted
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
A new variant algorithm for distributed acyclic garbage detection is presented for use in hybrid garbage collectors. The existing fault-tolerance of Piquer's Indirect Referen...
128
click to vote
RECOMB
2000
Springer
15 years 7 months ago
2000
Springer
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
135
click to vote
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
The transfer of spatial knowledge from virtual to real environments is one important issue in spatial cognition research. Up to now, studies in this domain have revealed that the p...