5377 search results - page 502 / 1076 » Programming Languages For Interactive Computing |
171
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
248
click to vote
COMPASS
1994
15 years 11 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
185
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
195
click to vote
IFIP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Network monitoring plays a crucial role in any network management environment. Especially nowadays, with network speed and load constantly increasing, more and more data ...
215
click to vote
IJCAI
1997
15 years 8 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...