536 search results - page 66 / 108 » A computer verified, monadic, functional implementation of t... |
TCS
2008
14 years 11 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
RCIS
2010
14 years 9 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
VLSID
2002
IEEE
16 years 5 days ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Community of web services (CWS) is a society composed by a number of functionally identical web services. The communities always aim to increase their reputation level in order ...