6258 search results - page 61 / 1252 » Applied Text Generation |
165
click to vote
FORTE
2009
15 years 24 days ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
111
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
124
click to vote
IDEAL
2007
Springer
15 years 9 months ago
2007
Springer
Clustering is used to generate groupings of data from a large dataset, with the intention of representing the behavior of a system as accurately as possible. In this sense, cluster...
118
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
132
click to vote
COMPSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...