1397 search results - page 66 / 280 » On the Need for Practical Formal Methods |
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
EKAW
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. The call for a "focus on content" in ontology research by Nicola Guarino and Mark Musen in their launching statement of the journal Applied Ontology has quite s...
JCB
2007
13 years 9 months ago
2007
Optical mapping is an integrated system for the analysis of single DNA molecules. It constructs restriction maps (noted as “optical map”) from individual DNA molecules present...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
Among the many techniques available for informationconcealment, those based on spread spectrummodulationshave proven to yield improved results when robustness against attack is at...
JUCS
2006
13 years 9 months ago
2006
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...