3799 search results - page 344 / 760 » An Engineering Approach to Formal Methods |
189
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
156
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
147
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
In the agile and user-centered design (UCD) communities it is often believed that agile’s quick development cycles do not allow time to fully understand our user’s needs. In o...
183
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
213
click to vote
TCBB
2011
15 years 1 months ago
2011
— Probe defects are a major source of noise in gene expression studies. While existing approaches detect noisy probes based on external information such as genomic alignments, we...