1358 search results - page 57 / 272 » Proceedings |
ADAEUROPE
2003
Springer
14 years 1 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
ARVLSI
2001
IEEE
14 years 1 months ago
2001
IEEE
We extend a class of analog CMOS circuits that can be used to perform many analog computational tasks. The circuits utilize MOSFET's in their subthreshold region as well as c...
ACSC
2000
IEEE
14 years 1 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
ISW
2000
Springer
14 years 1 months ago
2000
Springer
An one-way hash chain generated by the iterative use of a one-way hash function on a secret value has recently been widely employed to develop many practical cryptographic solution...
VLDB
2000
ACM
14 years 1 months ago
2000
ACM
Temporal databases assume a single line of time evolution. In other words, they support timeevolving data. However there are applications which require the support of temporal dat...