2278 search results - page 196 / 456 » Specification Techniques for Automatic Performance Analysis ... |
245
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
156
click to vote
AUSAI
2007
Springer
16 years 20 days ago
2007
Springer
Underwater video is increasingly being pursued as a low impact alternative to traditional techniques (such as trawls and dredges) for determining abundance and size frequency of ta...
158
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
170
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
As a result of growing misuse of online anonymity, researchers have begun to create visualization tools to facilitate greater user accountability in online communities. In this stu...
170
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...