4485 search results - page 739 / 897 » Equivalences on Observable Processes |
166
Voted
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...
111
Voted
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...
115
click to vote
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...
126
Voted
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...
132
Voted
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...