1087 search results - page 106 / 218 » The DecideIT Decision Tool |
FM
2003
Springer
14 years 1 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
INDIASE
2009
ACM
14 years 14 days ago
2009
ACM
With the rapid increase in offshore outsourcing of software development, Global Software Development (GSD) has become the need of the hour. Today’s information technology, in th...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...
AVI
2008
13 years 10 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...
DSN
2008
IEEE
13 years 9 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...