3804 search results - page 312 / 761 » interactions 2008 |
179
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
152
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
As internet technology develops, we transfer more and more physical activities into cyberspace. On the other hand, mobile technology frees the location of cyberspace participants,...
195
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
163
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Advances in the field of microarray technology have attracted a lot of attention in the last years. More and more biological experiments are conducted based on microarrays. The c...
173
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
IncreTable is a mixed reality tabletop game inspired by The Incredible Machine. Users can combine real and virtual game pieces in order to solve puzzles in the game. Game actions ...