Sciweavers

1393 search results - page 116 / 279
» Home, work, (play)
Sort
View
CANDC
2007
ACM
15 years 10 months ago
Environments for creativity: a lab for making things
We have, with our students, engaged in cross-disciplinary research in design. We describe parameters and principles that we have found helpful in organizing and conducting this ki...
Ellen Yi-Luen Do, Mark D. Gross
CANDT
2009
15 years 10 months ago
Social capital, social network and identity bonds: a reconceptualization
We argue that along with social network analysis researchers can also benefit from looking at the identity bonding perspective. In this paper, by synthetic and critical reviewing ...
Hao Jiang, John M. Carroll
HASE
2007
IEEE
15 years 10 months ago
Multiple Pre/Post Specifications for Heap-Manipulating Methods
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
FCT
2009
Springer
15 years 10 months ago
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
Paul Hänsch, Michaela Slaats, Wolfgang Thomas
FMN
2009
Springer
85views Multimedia» more  FMN 2009»
15 years 10 months ago
OASIS Archive - Open Archiving System with Internet Sharing
OASIS Archive project aimed at developing a system for the universal presentation of Media Art works independent of location. The goal was to establish a user-friendly search syste...
Juergen Enge, Andrzej Glowacz, Michal Grega, Mikol...