3799 search results - page 143 / 760 » An Engineering Approach to Formal Methods |
ICML
2002
IEEE
14 years 10 months ago
2002
IEEE
We present two results which arise from a model-based approach to hierarchical agglomerative clustering. First, we show formally that the common heuristic agglomerative clustering...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
COMPSEC
2010
13 years 6 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
IV
2006
IEEE
14 years 3 months ago
2006
IEEE
Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimen...
EVOW
2007
Springer
14 years 3 months ago
2007
Springer
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...