6274 search results - page 453 / 1255 » Proofs, Programs, Processes |
144
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data ...
153
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...
184
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
190
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
We introduce mixed physical and digital authoring environments for children, which invite them to create stories with enriched drawings that are programmed to control robotic char...
193
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...