2057 search results - page 142 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
132
Voted
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
117
Voted
JUCS
2006
15 years 4 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
138
click to vote
FOIS
2006
15 years 6 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
163
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
128
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...