4609 search results - page 90 / 922 » Automatic Generation of Sigma-Protocols |
113
Voted
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
168
click to vote
ASAP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
128
click to vote
WSC
2000
15 years 6 months ago
2000
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...
114
click to vote
ANLP
1994
15 years 6 months ago
1994
PLANDoc, a system under joint development by Columbia and Bellcore, documents the activity of planning engineers as they study telephone routes. It takes as input a trace of the e...
144
Voted
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—Point of presence (PoP) level Internet maps are promising for tasks such as reasoning about the Internet evolution in time or Internet delay estimation. We thus suggest an effi...