1888 search results - page 86 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
142
click to vote
IJSWIS
2007
15 years 3 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
126
click to vote
JIPS
2006
15 years 3 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
121
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
163
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
130
click to vote
SELMAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...