9186 search results - page 1405 / 1838 » A Module System for Scheme |
128
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The capability to change user agent while working is starting to appear in state of the art mobile computing due to the proliferation of different kinds of devices, ranging from p...
129
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, our protocol is based on standard insecure d...
121
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
—Hardware Intellectual Property (IP) cores have emerged as an integral part of modern System–on–Chip (SoC) designs. However, IP vendors are facing major challenges to protect...
146
click to vote
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a new reconstruction scheme for magnetic resonance spectroscopic imaging (MRSI) signal based on minimizing the spatial total variation (TV) integrated with the 1 -norm ...
139
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...