2015 search results - page 192 / 403 » Hidden Software Capabilities |
159
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Statistical comparison of peptide profiles in biomarker discovery requires fast, userfriendly software for high throughput data analysis. Important features are flexib...
186
click to vote
SENSYS
2010
ACM
15 years 14 days ago
2010
ACM
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...
157
Voted
PAM
2012
Springer
13 years 10 months ago
2012
Springer
Recent efforts in software-defined networks, such as OpenFlow, give unprecedented access into the forwarding plane of networking equipment. When building a network based on OpenFl...
128
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
105
Voted
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...