410 search results - page 41 / 82 » A micro-ethical view on computing practice |
136
Voted
WOTUG
2008
15 years 4 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
122
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
85
Voted
WISE
2009
Springer
16 years 19 days ago
2009
Springer
Web2.0 has brought tagging at the forefront of user practises for organizing and locating resources. Unfortunately, these tagging efforts suffer from a main drawback: lack of inter...
150
Voted
MSE
2005
IEEE
15 years 9 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
98
Voted
IEEEMSP
2002
IEEE
15 years 8 months ago
2002
IEEE
—Matrix factorization methods are now widely used to recover 3D structure from 2D projections [1]. In practice, the observation matrix to be factored out has missing data, due to...