4609 search results - page 909 / 922 » Automatic Generation of Sigma-Protocols |
139
Voted
WSC
1997
15 years 5 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...
121
click to vote
WCE
2007
15 years 4 months 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...
136
Voted
HUC
2010
Springer
15 years 4 months 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...
137
Voted
AIPS
2010
15 years 3 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...
133
click to vote
MOBICOM
2010
ACM
15 years 3 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...