5267 search results - page 872 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many protein structures determined in high-throughput structural genomics centers, despite their significant novelty and importance, are available only as PDB depositi...
173
click to vote
TOMS
1998
15 years 6 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
170
click to vote
GIR
2006
ACM
16 years 9 days ago
2006
ACM
Most human activities occur around where the user is physically located. Knowing the geographical serving area of web resources, therefore, is very important for many web applicat...
165
Voted
NAR
2008
15 years 6 months ago
2008
ppdb (http://www.ppdb.gene.nagoya-u.ac.jp) is a plant promoter database that provides promoter annotation of Arabidopsis and rice. The database contains information on promoter st...
187
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...