4924 search results - page 93 / 985 » A Software System for Spatial Data Analysis and Modeling |
188
click to vote
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
89
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
128
click to vote
SEMCO
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
93
Voted
BMCBI
2007
15 years 26 days ago
2007
Background: The combination of mass spectrometry and solution phase amide hydrogen/deuterium exchange (H/D exchange) experiments is an effective method for characterizing protein ...
107
Voted
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
The speedup over a microprocessor that can be achieved by implementing some programs on an FPGA has been extensively reported. This paper presents an analysis, both quantitative a...