2646 search results - page 362 / 530 » Local Type Inference |
133
Voted
CCGRID
2002
IEEE
15 years 7 months ago
2002
IEEE
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
108
click to vote
INAP
2001
Springer
15 years 7 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
112
Voted
ITC
1996
IEEE
15 years 6 months ago
1996
IEEE
common use is the distinction into two (abstract) fault models: A new fault modelling scheme for integrated analogue general the "Single Hard Fault Model (SHFM)" and the ...
99
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
135
Voted
EKAW
2006
Springer
15 years 6 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...