4048 search results - page 749 / 810 » Design Science, Engineering Science and Requirements Enginee... |
108
click to vote
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
103
Voted
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
84
Voted
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
114
click to vote
TASE
2011
IEEE
14 years 6 months ago
2011
IEEE
— Surface flattening has numerous applications in sheet manufacturing industries, such as garment industry, shoe industry, toy industry, furniture industry and ship industry. Mo...
124
click to vote
WWW
2011
ACM
14 years 5 months ago
2011
ACM
Modern search engines are expected to make documents searchable shortly after they appear on the ever changing Web. To satisfy this requirement, the Web is frequently crawled. Due...