1824 search results - page 145 / 365 » interfaces 2006 |
136
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...
146
click to vote
ISSE
2006
15 years 4 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
130
click to vote
JBI
2006
15 years 4 months ago
2006
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
128
click to vote
JCC
2008
15 years 4 months ago
2008
Abstract: In this work, a numerical procedure based on the continuum model is developed and applied to the solvation energy for ground state and the spectral shift against the posi...