2646 search results - page 223 / 530 » Local Type Inference |
212
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
139
click to vote
CANDT
2009
15 years 10 months ago
2009
We analyze help-seeking strategies in two large tech support boards and observe a number of previously unreported differences between tech support boards and other types of online...
203
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Wikipedia, a collaborative Wiki-based encyclopedia, has become a huge phenomenon among Internet users. It covers huge number of concepts of various fields such as Arts, G...
217
click to vote
SEBD
2003
15 years 8 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
296
click to vote
JASIS
2010
15 years 5 months ago
2010
: The work of corporate finance professionals is information intensive. In spite of that the practices and motivations of their information preferences have been researched very li...