1313 search results - page 233 / 263 » Generic Universe Types |
156
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
159
Voted
ISBMS
2010
Springer
15 years 11 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...
151
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
173
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
—Despite many technology advances, the limited computing power of sensors encumber them from taking part in service-oriented architectures. In recent years, the sensornetworking ...
158
click to vote
ACNS
2009
Springer
15 years 11 months ago
2009
Springer
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...