2171 search results - page 197 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
197
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Expressed sequence tags, abbreviated ESTs, are DNA fragments experimentally derived from expressed portions of genes. Clustering of ESTs is essential for gene recognition and unde...
207
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...
193
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
157
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
169
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...