536 search results - page 38 / 108 » A computer verified, monadic, functional implementation of t... |
170
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
—In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol using smart cards for home networks. The proposed scheme is to authenti...
167
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
153
click to vote
LAWEB
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper we present a model-based approach to integrate dynamic and volatile functionality in Web Applications. Our approach comprises an extension to the OOHDM design method...
150
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
162
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
Wearable computing systems can be broadly defined as mobile electronic devices that can be unobtrusively embedded in a user's outfit as part of the garment or an accessory. U...