5330 search results - page 308 / 1066 » The Performability Tool P'ility |
201
click to vote
GIS
2006
ACM
15 years 7 months ago
2006
ACM
The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
194
click to vote
JNW
2008
15 years 7 months ago
2008
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...
187
click to vote
JAR
2006
15 years 7 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
183
click to vote
IJNSEC
2007
15 years 7 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
208
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...