7890 search results - page 1458 / 1578 » The MathSAT 3 System |
79
Voted
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
LOCA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...
OR
2005
Springer
15 years 3 months ago
2005
Springer
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
122
click to vote
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...