5550 search results - page 568 / 1110 » Different Approaches to Proof Systems |
151
Voted
CHI
2003
ACM
16 years 7 months ago
2003
ACM
From working with location-based information systems we know that positioning is problematic. A different approach was tested, where users themselves were allowed to name and defi...
220
click to vote
ASAP
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
186
click to vote
DEEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Electronic Data Interchange (EDI) standards for transmission of business messages were promulgated in the 1970s. As standards became more complex to provide additional message typ...
191
click to vote
DSOM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
205
Voted
GCB
2009
Springer
15 years 11 months ago
2009
Springer
: Understanding complex biological systems requires data from manifold biological levels. Often this data is analysed in some meaningful context, for example, by integrating it int...