554 search results - page 69 / 111 » Analysing Requirements for Content Management |
104
click to vote
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
119
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— With the explosive growth of network techniques, in particular wireless communications, the traditional centralized, fixed networks can no longer satisfy the enormous demands ...
SENSYS
2006
ACM
15 years 5 months ago
2006
ACM
Science is increasingly driven by data collected automatically from arrays of inexpensive sensors. The collected data volumes require a different approach from the scientists'...