2813 search results - page 44 / 563 » Formalizing Architectural Connection |
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we present and discuss a meta-ontological archifor ontologies which centers on abstract core ontologies (ACOs). s the most abstract part of a foundational o...
ICSEA
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
CMOT
2011
13 years 1 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
JNSM
2002
13 years 9 months ago
2002
Realizing high volume of data transmission in real time communication in a highly dynamic architecture like Mobile Ad hoc Networks (MANET) still remains a major point of research....
PPOPP
2012
ACM
12 years 5 months ago
2012
ACM
Speedups demonstrated for finding the biconnected components of a graph: 9x to 33x on the Explicit Multi-Threading (XMT) many-core computing platform relative to the best serial ...