3799 search results - page 613 / 760 » An Engineering Approach to Formal Methods |
140
click to vote
ASWEC
2009
IEEE
15 years 12 months ago
2009
IEEE
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
130
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
136
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
152
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
132
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...