43190 search results - page 93 / 8638 » Can Development Be Designed |
118
click to vote
MC
2007
15 years 5 months ago
2007
In this paper we want to make use of the "Hundred Languages of Children" observed by Reggio pedagogue L. Malaguzzi, in order to understand the process of being engaged b...
150
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
172
click to vote
BCSHCI
2007
15 years 5 months ago
2007
The defining characteristic of the Internet today is an abundance of information and choice. Recommender Systems (RS), designed to alleviate this problem, have so far not been ver...
198
click to vote
SIES
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
236
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...