4078 search results - page 192 / 816 » On the Emergence of New Computer Technologies |
196
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
147
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
144
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Conventional clustering techniques provide a static snapshot of each vector's commitment to every group. With additive datasets, however, existing methods may not be sufficie...
147
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Under the influence of a new medium, a genre may evolve into variants of the original genre or even into new genre. Genre, even through such evolution, are normally characterized ...
213
click to vote
ICEIS
2000
IEEE
15 years 11 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...