Sciweavers

1686 search results - page 227 / 338
» Programs as polygraphs: computability and complexity
Sort
View
DBSEC
1996
125views Database» more  DBSEC 1996»
15 years 5 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
15 years 5 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
CORR
2008
Springer
73views Education» more  CORR 2008»
15 years 4 months ago
On acceptance conditions for membrane systems: characterisations of L and NL
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
Niall Murphy, Damien Woods
CSJM
2006
59views more  CSJM 2006»
15 years 4 months ago
Traveling Salesman Problem with Transportation
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...
Valeriu Ungureanu
ARTMED
2002
121views more  ARTMED 2002»
15 years 3 months ago
An evolutionary artificial neural networks approach for breast cancer diagnosis
This paper presents an evolutionary artificial neural network approach based on the pareto differential evolution algorithm augmented with local search for the prediction of breas...
Hussein A. Abbass