800 search results - page 33 / 160 » Towards a formalization of budgets |
99
Voted
HCI
2009
14 years 8 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
95
Voted
ICPP
2006
IEEE
15 years 4 months ago
2006
IEEE
Space filling curves (SFCs) are widely used for parallel domain decomposition in scientific computing applications. The proximity preserving properties of SFCs are expected to k...
102
Voted
CSCW
2012
ACM
13 years 6 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
68
Voted
FSEN
2007
Springer
15 years 2 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the