5275 search results - page 80 / 1055 » Computing by observing |
109
click to vote
JSW
2006
15 years 3 months ago
2006
The demography of anchovy fishes in the Gulf of Biscay seems to be related to the presence of socalled "retentive" hydrodynamical structures, that keep fish eggs and larv...
94
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
130
click to vote
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
Computer system administrators are the unsung heroes of the information age, working behind the scenes to configure, maintain, and troubleshoot the computer infrastructure that un...
167
Voted
ALT
2008
Springer
16 years 6 days ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
136
click to vote
FCT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...