4609 search results - page 909 / 922 » Automatic Generation of Sigma-Protocols |
100
Voted
WSC
1997
15 years 1 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
WCE
2007
15 years 28 days ago
2007
—This paper presents one of the outcomes of a research project concerned with the development of a method for synthesizing, under controlled conditions in the laboratory, the ran...
HUC
2010
Springer
15 years 26 days ago
2010
Springer
Most location sharing applications display people's locations on a map. However, people use a rich variety of terms to refer to their locations, such as "home," &qu...
AIPS
2010
14 years 12 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
MOBICOM
2010
ACM
14 years 12 months ago
2010
ACM
Information on site-specific spectrum characteristics is essential to evaluate and improve the performance of wireless networks. However, it is usually very costly to obtain accur...