3742 search results - page 59 / 749 » On the Use of Formal Techniques for Validation |
143
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
160
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
170
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
156
click to vote
ECML
2006
Springer
15 years 9 months ago
2006
Springer
Recently, stability-based techniques have emerged as a very promising solution to the problem of cluster validation. An inherent drawback of these approaches is the computational c...
167
click to vote
CEC
2007
IEEE
16 years 15 days ago
2007
IEEE
—Identification of the correct number of clusters and the corresponding partitioning are two important considerations in clustering. In this paper, a newly developed point symme...