2173 search results - page 230 / 435 » The History of the History of Software |
166
click to vote
FTRTFT
1994
Springer
15 years 10 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
184
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
154
click to vote
CANDT
2009
15 years 10 months ago
2009
Once acquainted with the modern information and communication tools made available with the advent of the Internet, five Brazilian rural communities participating in a pilot proje...
162
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Users’ behaviors (actions) in a social network are influenced by various factors such as personal interests, social influence, and global trends. However, few publications sys...
166
click to vote
HOPL
2007
15 years 10 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...