2255 search results - page 233 / 451 » High Assurance Software Systems |
167
click to vote
ISM
2008
IEEE
16 years 28 days ago
2008
IEEE
Due to the problems of heterogeneous data and platforms, abundant functional and QoS requirements, high data size, and tangling correlation between data/contents and software func...
156
click to vote
CAISE
2007
Springer
16 years 21 days ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
172
click to vote
CASC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
156
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper, a Multi-agent System (MAS) is presented for providing clinical decision support to healthcare practitioners in rural or remote areas of India for young infants or c...
147
click to vote
JCM
2007
15 years 6 months ago
2007
—IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these ...